Weakly globular double categories and weak units
Abstract
Weakly globular double categories are a model of weak -categories based on the notion of weak globularity, and they are known to be suitably equivalent to Tamsamani -categories. Fair -categories, introduced by J. Kock, model weak -categories with strictly associative compositions and weak unit laws. In this paper we establish a direct comparison between weakly globular double categories and fair -categories and prove they are equivalent after localisation with respect to the -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