$V$-Cat is locally presentable or locally bounded if $V$ is so

G. M. Kelly and Stephen Lack

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.


Theory and Applications of Categories, Vol. 8, 2001, No. 23, pp 555-575
http://www.tac.mta.ca/tac/volumes/8/n23/n23.dvi
http://www.tac.mta.ca/tac/volumes/8/n23/n23.ps
http://www.tac.mta.ca/tac/volumes/8/n23/n23.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/8/n23/n23.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/8/n23/n23.ps
TAC Home