Building the bicategory Span$_2(\mathcal {C})$
Category Theory
2015-01-06 v1
Abstract
Given any category with pullbacks and a terminal object, we show that the data consisting of the objects of , the spans of , and the isomorphism classes of spans of spans of , forms a bicategory. We denote this bicategory Span and show that this construction can be applied to give a bicategory of -manifolds, cobordisms of those manifolds, and cobordisms of cobordisms.
Cite
@article{arxiv.1501.00792,
title = {Building the bicategory Span$_2(\mathcal {C})$},
author = {Franciscus Rebro},
journal= {arXiv preprint arXiv:1501.00792},
year = {2015}
}
Comments
34 pages