Wiki Article
Tetracategory
Nguồn dữ liệu từ Wikipedia, hiển thị bởi DefZone.Net
 | This article needs additional citations for verification. (November 2017) |
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
[edit]Notes
[edit]References
[edit]- 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
[edit]- Trimble, Todd. "Notes on tetracategories".
- Hoffnung, Alexander E. (2011). "Spans in 2-Categories: A monoidal tricategory". arXiv:1112.0560 [math.CT].
|  | |||||||||||||||||
| ||||||||||||||||||
 | This category theory-related article is a stub. You can help Wikipedia by expanding it. |