We define a notion of weak cubical category, abstracted from the structure of n-cubical cospans x : ∧ → X in a category X, where ∧ is the ‘formal cospan’ category. These diagrams form a cubical set with compositions x +i y in all directions, which are computed using pushouts and behave ‘categorically’ in a weak sense, up to suitable comparisons. Actually, we work with a ‘symmetric cubical struc...