Proposition. Globular representation of cartesian cells in an equipment [mde-9AYG]
Proposition. Globular representation of cartesian cells in an equipment [mde-9AYG]
In an equipment, there exists a cartesian cell
if and only if \(M \odot W(1,G) \cong Z(1,F) \odot N\).