Proposition. Cartesian cells in a virtual equipment [mde-9AYG]

In a virtual equipment, a cell

is cartesian if and only if \(M \cong Z(1,F) ; N ; W(G,1)\).