Abstract
We show, for a monoidal closed category $V = (V_0,\otimes,I)$, that the category $V$-Cat of small $V $-categories is locally $\lambda$-presentable if $V_0$ is so, and that it is locally $\lambda$-bounded if the closed category $V$ is so, meaning that $V_0$ is locally $\lambda$-bounded and that a side condition involving the monoidal structure is satisfied.
Original language | English |
---|---|
Pages (from-to) | 555-575 |
Number of pages | 21 |
Journal | Theory and Applications of Categories |
Volume | 8 |
Publication status | Published - 2001 |
Keywords
- Enriched category
- Locally bounded category
- Locally presentable category