中文

Notes on enriched categories with colimits of some class (completed version)

范畴论 2007-05-23 v1

摘要

The paper is in essence a survey of categories having ϕ\phi-weighted colimits for all the weights ϕ\phi in some class Φ\Phi. We introduce the class Φ+\Phi^+ of {\em Φ\Phi-flat} weights which are those ψ\psi for which ψ\psi-colimits commute in the base \V\V with limits having weights in Φ\Phi; and the class Φ\Phi^- of {\em Φ\Phi-atomic} weights, which are those ψ\psi for which ψ\psi-limits commute in the base \V\V with colimits having weights in Φ\Phi. 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 \p\p of {\em all} weights, the classes \p+\p^+ and \p\p^- both coincide with the class \Q\Q of {\em absolute} weights. For any class Φ\Phi and any category \A\A, we have the free Φ\Phi-cocompletion Φ(\A)\Phi(\A) of \A\A; and we recognize \Q(\A)\Q(\A) as the Cauchy-completion of \A\A. We study the equivalence between (\Q(\Aop))op{(\Q(\A^{op}))}^{op} and \Q(\A)\Q(\A), which we exhibit as the restriction of the Isbell adjunction between [\A,\V]op{[\A,\V]}^{op} and [\Aop,\V][\A^{op},\V] when \A\A is small; and we give a new Morita theorem for any class Φ\Phi containing \Q\Q. We end with the study of Φ\Phi-continuous weights and their relation to the Φ\Phi-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