Definition 6.143.
A category satisfying the equivalent conditions of Proposition 6.142 is called compactly assembled. We write \(\Cat^{\mathrm{ca}}\) for the category of compactly assembled categories and filtered-colimit-preserving functors.
Definition 6.143.
A category satisfying the equivalent conditions of Proposition 6.142 is called compactly assembled. We write \(\Cat^{\mathrm{ca}}\) for the category of compactly assembled categories and filtered-colimit-preserving functors.