Spans in 2-Categories: A monoidal tricategory
classification
🧮 math.CT
keywords
categoriesmonoidalspanstricategorylimitstetracategorycertainconstruction
read the original abstract
We present Trimble's definition of a tetracategory and prove that the spans in (strict) 2-categories with certain limits have the structure of a monoidal tricategory, defined as a one-object tetracategory. We recall some notions of limits in 2-categories for use in the construction of the monoidal tricategory of spans.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.