English

Weakly globular double categories and weak units

Category Theory 2025-03-17 v5 Algebraic Topology

Abstract

Weakly globular double categories are a model of weak 22-categories based on the notion of weak globularity, and they are known to be suitably equivalent to Tamsamani 22-categories. Fair 22-categories, introduced by J. Kock, model weak 22-categories with strictly associative compositions and weak unit laws. In this paper we establish a direct comparison between weakly globular double categories and fair 22-categories and prove they are equivalent after localisation with respect to the 22-equivalences. This comparison sheds new light on weakly globular double categories as encoding a strictly associative, though not strictly unital, composition, as well as the category of weak units via the weak globularity condition.

Keywords

Cite

@article{arxiv.2008.11180,
  title  = {Weakly globular double categories and weak units},
  author = {Simona Paoli},
  journal= {arXiv preprint arXiv:2008.11180},
  year   = {2025}
}

Comments

Improved exposition in proposition 9.1 and some other minor changes

R2 v1 2026-06-23T18:05:55.371Z