To be fair, it's interesting in its own right to investigate exactly how much extra structure is there. For example, a tricategory with one object, one morphism and one 2-morphism is a commutative monoid with some extra elements being selected, and all functors will preserve those elements!
=> More informations about this toot | View the thread | More toots from trebor@types.pl
text/geminiThis content has been proxied by September (3851b).