Tetracategory
In category theory, a tetracategory is a weakened definition of a 4-category. The definition of tetracategory and its coherence conditions were introduced by Trimble. The formal definition of Trimble's tetracategory is given using the coherence theorem for tricategories. There is no coherence theorem for tetracategories yet.[1] Hoffnung says that, a monoidal tricategory is a one-object tetracategory in the sense of Trimble.[2][3]
See also
Notes
- ^ Crans 2000.
- ^ Hoffnung 2011.
- ^ Hoffnung, Alexander E. (2013-09-18), Spans in 2-Categories: A monoidal tricategory, arXiv, doi:10.48550/arXiv.1112.0560, arXiv:1112.0560, retrieved 2026-02-27
References
- Crans, S. (2000). "On braiding, syllapses and symmetries" (PDF). Cahiers de Topologie et Géométrie Différentielle Catégoriques. 41 (1): 2–74.
External links
- Trimble, Todd. "Notes on tetracategories".
- Hoffnung, Alexander E. (2011). "Spans in 2-Categories: A monoidal tricategory". arXiv:1112.0560 [math.CT].