Categorical structures enriched in a quantaloid: regular presheaves, regular semicategories

Abstract

We study presheaves on semicategories enriched in a quantaloid: this gives rise to the notion of regular presheaf. A semicategory is regular when its representable presheaves are regular, and its regular presheaves then constitute an essential (co)localization of the category of all of its presheaves. The notion of regular semidistributor allows to establish the Morita equivalence of regular semicategories. Continuous orders and Omega-sets provide examples.

21 pages

Cited by in corpus (4)

• Categorical structures enriched in a quantaloid: categories, distributors and functors
• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• Inverting weak dihomotopy equivalence using homotopy continuous flow
• Categorical structures enriched in a quantaloid: orders and ideals over a base quantaloid