Tetracategory
From HandWiki
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]
See also
- Weak n-category
- infinity category
Notes
References
- Crans, S. (2000). "On braiding, syllapses and symmetries". Cahiers de Topologie et Géométrie Différentielle Catégoriques 41 (1): 2–74. https://www.numdam.org/item/CTGDC_2000__41_1_2_0.pdf.
External links
- Trimble, Todd. "Notes on tetracategories". http://math.ucr.edu/home/baez/trimble/tetracategories.html.
- Hoffnung, Alexander E. (2011). "Spans in 2-Categories: A monoidal tricategory". arXiv:1112.0560 [math.CT].
|  | |||||||||||||||||
| ||||||||||||||||||
 |  |
