Retrocells
Abstract
The notion of retrocell in a double category with companions is introduced and its basic properties established. Explicit descriptions in some of the usual double categories are given. Monads in a double category provide an important example where retrocells arise naturally. Cofunctors appear as a special case. The motivating example of vertically closed double categories is treated in some detail.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2023
- DOI:
- 10.48550/arXiv.2306.06436
- arXiv:
- arXiv:2306.06436
- Bibcode:
- 2023arXiv230606436P
- Keywords:
-
- Mathematics - Category Theory;
- 18D05;
- 18C15;
- 18D15
- E-Print:
- As referee suggested: References added, typos corrected, table of contents included