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