Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
[Reason for new thread: to all appearances, tricategory did not have one of its own, despite tetracategory having one]
(Updated reference to a representability theorem in arXiv:0711.1761v2 on tricategory; what was Theorem 21 in arXiv:0711.1761v1 has become Theorem 24 in arXiv:0711.1761v2 and its journal version)
Have uploaded a pdf copy of:
now here: ncatlab.org/nlab/files/Gurski-AlgebraicTricategories.pdf
1 to 3 of 3