Notes on enriched categories with colimits of some class (completed version)
摘要
The paper is in essence a survey of categories having -weighted colimits for all the weights in some class . We introduce the class of {\em -flat} weights which are those for which -colimits commute in the base with limits having weights in ; and the class of {\em -atomic} weights, which are those for which -limits commute in the base with colimits having weights in . We show that both these classes are {\em saturated} (that is, what was called {\em closed} in the terminology of \cite{AK88}). We prove that for the class of {\em all} weights, the classes and both coincide with the class of {\em absolute} weights. For any class and any category , we have the free -cocompletion of ; and we recognize as the Cauchy-completion of . We study the equivalence between and , which we exhibit as the restriction of the Isbell adjunction between and when is small; and we give a new Morita theorem for any class containing . We end with the study of -continuous weights and their relation to the -flat weights.
引用
@article{arxiv.math/0509102,
title = {Notes on enriched categories with colimits of some class (completed version)},
author = {G. M. Kelly and V. Schmitt},
journal= {arXiv preprint arXiv:math/0509102},
year = {2007}
}
备注
This is a completion of CT/0501383. Results presented here are mainly from unpublished notes of the first author and contains those in CT/0309209 and CT/0403164