When is Cat(Q) cartesian closed?
An example in the paper "Exponentiable functors between quantaloid-enriched categories" is mistaken: it is not true that the category of categories and functors enriched in any free quantaloid is cartesian closed. To correct this, we give here an elementary characterization of those quanta...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | An example in the paper "Exponentiable functors between quantaloid-enriched
categories" is mistaken: it is not true that the category of categories and
functors enriched in any free quantaloid is cartesian closed. To correct this,
we give here an elementary characterization of those quantaloids Q for which
Cat(Q) is cartesian closed. With this characterization, we unify several known
cases (previously proven using ad hoc methods) and we give some new examples. |
|---|---|
| DOI: | 10.48550/arxiv.2501.03942 |