Every double category with iso-strong finite products has an underlying cartesian bicategory, via transposition of natural transformations and adjunctions extending companions and conjoints.
Pseudo-categories
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
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.
fields
math.CT 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
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.