AG
a symmetric monoidal category is a tetracategory with one object and one 1-morphismSize: a a a
AG
a symmetric monoidal category is a tetracategory with one object and one 1-morphismZM
DB
Oℕ
a symmetric monoidal category is a tetracategory with one object and one 1-morphismὦ
ᛒ
.
ὦ
DB
.
HasThisTypePatternTriedToSneakInSomeGenericOrParameterizedTypePatternMatchingStuffAnywhereVisitorὦ
HasThisTypePatternTriedToSneakInSomeGenericOrParameterizedTypePatternMatchingStuffAnywhereVisitorὦ
.
ὦ
ὦ
.
.
ὦ