Pseudo-categories
classification
🧮 math.CT
math.RA
keywords
categorydoubleinternalpseudo-categoriesweakbicategorycalledcomplete
read the original abstract
We provide a complete description of the category of pseudo-categories (including pseudo-functors, natural and pseudo-natural transformations and pseudo modifications). A pseudo-category is a non strict version of an internal category. It was called a weak category and weak double category in some earlier papers. When internal to Cat it is at the same time a generalization of a bicategory and a double category.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
Transposing cartesian and other structure in double categories
Every double category with iso-strong finite products has an underlying cartesian bicategory, via transposition of natural transformations and adjunctions extending companions and conjoints.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.