Spans in 2-Categories: A monoidal tricategory
Category Theory
2013-09-19 v2
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.
Cite
@article{arxiv.1112.0560,
title = {Spans in 2-Categories: A monoidal tricategory},
author = {Alexander E. Hoffnung},
journal= {arXiv preprint arXiv:1112.0560},
year = {2013}
}
Comments
137 pages