Augmented virtual double categories
Abstract
In this article the notion of virtual double category (also known as fc-multicategory) is extended as follows. While cells in a virtual double category classically have a horizontal multi-source and single horizontal target, the notion of augmented virtual double category introduced here extends the latter notion by including cells with empty horizontal target as well. Any augmented virtual double category comes with a built-in notion of "locally small object" and we describe advantages of using augmented virtual double categories as a setting for formal category rather than 2-categories, which are classically equipped with a notion of "admissible object" by means of a yoneda structure in the sense of Street and Walters. An object is locally small precisely if it admits a horizontal unit, and we show that the notions of augmented virtual double category and virtual double category coincide in the presence of all horizontal units. Without assuming the existence of horizontal units we show that most of the basic theory for virtual double categories, such as that of restriction and composition of horizontal morphisms, extends to augmented virtual double categories. We introduce and study in augmented virtual double categories the notion of "pointwise" composition of horizontal morphisms, which formalises the classical composition of profunctors given by the coend formula.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2019
- DOI:
- 10.48550/arXiv.1910.11189
- arXiv:
- arXiv:1910.11189
- Bibcode:
- 2019arXiv191011189R
- Keywords:
-
- Mathematics - Category Theory;
- 18D05
- E-Print:
- This article comprises a streamlined and expanded version of Sections 1, 2 and 3 of arXiv:1511.04070. v2 contains several improvements following the referee's suggestions. This is the final version as published in TAC. v3: minor corrections in 1.6, 1.9, 2.8, 7.1, 7.7, 9.4, 9.6