Ancestors

Toot

Written by Trebor on 2024-12-29 at 05:47

I'm pretty convinced that a (pseudo)monoid of monoidal categories is a braided monoidal category but now I'll have to check by hand

=> More informations about this toot | More toots from trebor@types.pl

Descendants

Written by Trebor on 2024-12-29 at 05:56

By "is", I mean at least their types (which are 2-groupoids) are homotopy equivalent. Preferrably the obvious n-categories associated are also equivalent.

=> More informations about this toot | More toots from trebor@types.pl