We introduce the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories. We show that this model is suitably equivalent to bicategories and give an explicit description of the functors involved in this biequivalence. As an application we show that groupoidal weakly globular double categories model homotopy 2-types.
|Number of pages||48|
|Journal||Theory and Applications of Categories|
|Publication status||Published - 6 Oct 2013|
- Double categories
- Strict 2-categories
- Tamsamani weak 2- categories