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.
Recommendations
- Duality categories
- Double categories of relations
- Higher dimensional categories. From double to multiple categories
- ENHANCED TRIANGULATED CATEGORIES
- Double-linear extension categories
- Double bicategories and double cospans
- The word problem for double categories
- Doubles for monoidal categories
- scientific article; zbMATH DE number 5076886
- scientific article; zbMATH DE number 2139647
Cites work
- A categorical approach to the maximum theorem
- A unified framework for generalized multicategories
- A universal property of the convolution monoidal structure
- Bicategories of spans and relations
- Framed bicategories and monoidal fibrations
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 5076886 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3783245 (Why is no real title available?)
- scientific article; zbMATH DE number 3512374 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 2139647 (Why is no real title available?)
- scientific article; zbMATH DE number 918295 (Why is no real title available?)
- scientific article; zbMATH DE number 1389226 (Why is no real title available?)
- scientific article; zbMATH DE number 3329974 (Why is no real title available?)
- scientific article; zbMATH DE number 3389217 (Why is no real title available?)
- Kan extensions and the calculus of modules for \(\infty\)-categories
- Kan extensions in double categories. (On weak double categories. III)
- Limits of small functors
- Metric spaces, generalized logic, and closed categories
- Monoidal topology. A categorical approach to order, metric, and topology
- On pointwise Kan extensions in double categories
- Reports of the Midwest category seminar. IV
- Representable multicategories
- Sequential multicategories
- Skew-monoidal categories and bialgebroids.
- Yoneda structures and KZ doctrines
- Yoneda structures from 2-toposes
- Yoneda structures on 2-categories
Cited in
(12)- Double clubs
- Double categories of relations
- What is a free double category like?
- Retrocells
- Formal category theory in augmented virtual double categories
- Cartesian double theories: a double-categorical framework for categorical doctrines
- The formal theory of relative monads
- Doubly weak double categories
- Length of fully faithful framed bicategories
- Double categories of profunctors
- \(\mathscr{V}\)-graded categories and \(\mathscr{V}\)-\(\mathscr{W}\)-bigraded categories: functor categories and bifunctors over non-symmetric bases
- A morphism double category and monoidal structure
This page was built for publication: Augmented virtual double categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5220053)
