Australian Category Seminar

Enriched accessible categories

Carmen Quinteiroยท4 June 1997

We consider category theory enriched in a locally finitely presentable symmetric monoidal closed category V. We define V-filtered colimits to be those colimits weighted by a V-flat presheaf and consider the corresponding notion of V-accessible category. We prove that the V-accessible categories coincide with the categories of V-flat presheaves, and also with the categories of V-points of categories of V-presheaves. The V-locally presentable categories are exactly the V-cocomplete accessible ones.

We define V-sketches and we prove that the V-accessible categories are, exactly, the categories of models of a V-sketch.

Back