Every pseudo double category is exponentiable, and the virtual double category of lax functors Lax(A,B) is isomorphic to the virtual double category Mod(B^A) of monads and modules.
The familial nature of enrichment over virtual double categories
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
Originally enriched categories were defined over a monoidal category, but it was gradually realized that important examples can only be included when one enriches over more general structures such as bicategories and virtual double categories. We show that, as well as allowing more examples, working over virtual double categories also gives better formal properties. We study the 2-functor sending a virtual double category to the 2-category of categories enriched over it. We show that this is a parametric right 2-adjoint, and in fact is familial. We also show how a ``families construction'' for virtual double categories can be used to give a formal construction of the 2-category of categories enriched over a virtual double category.
fields
math.CT 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Exponentiable virtual double categories and presheaves for double categories
Every pseudo double category is exponentiable, and the virtual double category of lax functors Lax(A,B) is isomorphic to the virtual double category Mod(B^A) of monads and modules.