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.

生成讲解博客的中文版本

生成AI智能校验的中文版本