Definition. Virtual double category with loose identities [mde-WGTP]

Composites need not exist in the loose dimension of a virtual double category, and in particular identities need not exist.

An object \(X\) in a virtual double category has a loose identity (or horizontal unit, or simply unit) if there exists an opcartesian cell,

A virtual double category has loose identities if every object has a loose identity.