One statement of triality is that textrm Spin ( 8) has nontrivial outer automorphisms of order 3. On the other hand, the octonions have nontrivial inner automorphisms of order 3. My question: can we ...

A Freyd category consists of two categories C and K with an identity-on-objects functor J: C → K, where: - C has finite products - K is symmetric premonoidal (with a functor ⊗ z ) - J maps finite ...

Pick a type of categorical structure: say bicategories, or monoidal categories, or whatever you like. Some of the functors between structures are equivalences, in whatever the appropriate sense might ...