S
trict
O
mega
C
ategories
Globular_Set
Strict_Omega_Category
Pasting_Diagram