When is Cat(Q) cartesian closed?
Isar Stubbe, Junche Yu
TL;DR
This paper characterizes when the category of Q-enriched categories is cartesian closed, unifying known cases and providing new examples through an elementary approach.
Contribution
It offers a unified, elementary characterization of quantaloids Q that make Cat(Q) cartesian closed, including new examples and simplifying previous ad hoc proofs.
Findings
Unified characterization of Q for cartesian closure of Cat(Q)
Identification of new examples of such quantaloids
Simplification of previous proofs using elementary methods
Abstract
We give an elementary characterization of those quantaloids Q for which the category Cat(Q) of Q-enriched categories and functors is cartesian closed. We then unify several known cases (previously proven using ad hoc methods) and we give some new examples.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics and Applications · Computational Geometry and Mesh Generation · Homotopy and Cohomology in Algebraic Topology