arXiv subjects
Publications and source records attributed to G. M. Kelly.
The notion of cartesian bicategory, introduced by Carboni and Walters for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory.
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 $\V$ with limits having weights in $Φ$; and the class $Φ^-$ of {\em $Φ$-atomic} weights, which are those $ψ$ for which $ψ$-limits commute in the base $\V$ 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 $\p$ of {\em all} weights, the classes $\p^+$ and $\p^-$ both coincide with the class $\Q$ of {\em absolute} weights. For any class $Φ$ and any category $\A$, we have the free $Φ$-cocompletion $Φ(\A)$ of $\A$; and we recognize $\Q(\A)$ as the Cauchy-completion of $\A$. We study the equivalence between ${(\Q(\A^{op}))}^{op}$ and $\Q(\A)$, which we exhibit as the restriction of the Isbell adjunction between ${[\A,\V]}^{op}$ and $[\A^{op},\V]$ when $\A$ is small; and we give a new Morita theorem for any class $Φ$ containing $\Q$. We end with the study of $Φ$-continuous weights and their relation to the $Φ$-flat weights.
Given a class Phi of weights, we study the following classes: Phi^+ of Phi-flat weights which are the psi for which psi-colimits commute in the base V with limits with weights in Phi; and Phi^-, dually defined, of weights psi for which psi-limits commute in the base V with colimits with weights in Phi. We show that both these classes are saturated (i.e. closed under the terminology of Albert-Kelly or Betti's coverings). We prove that for the class P of all weights P^+ = P^-. For any small B, we defined an enriched adjunction a` la Isbell [B,V]^op -> [B^op,V] and show how it restricts to an equivalence (P^-(B^op))^op ~ P^-(B) between subcategories of small projectives.