Categorical structures enriched in a quantaloid: categories, distributors and functors. (English) Zbl 1079.18005

Stubbe, Isar

Theory Appl. Categ. 14, 1-45 (2005).

The complete semilattices with complete semilattice homomorphisms form a symmetric monoidal closed category \({\mathcal S}up\). A quantoloid \(\mathcal Q\) is a \({\mathcal S}up\)-enriched category. For a quantoloid \(\mathcal Q\), definitions of \(\mathcal Q\)-enriched categories, of distributors and functors between \(\mathcal Q\)-enriched categories are given. The theory of enriched categories is developed for \(\mathcal Q\)-enriched categories. The notions and properties of adjoint functors, of Kan extensions, of weighted colimits and/or limits, of presheaves, of free cocompletion, of Cauchy completion, and of Morita equivalence are studied in \(\mathcal Q\)-enriched categories for a quantoloid \(\mathcal Q\). Several examples illustrating obtained results are presented. The appendix is devoted to distributor calculus.

Reviewer: Václav Koubek (Praha)

MSC:

18D20	Enriched categories (over closed or monoidal categories)
06F07	Quantales
18A30	Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
18A40	Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
18B35	Preorders, orders, domains and lattices (viewed as categories)

Keywords:

quantaloid; enriched category; limit; colimit; adjoint functor; Kan extension; continuous functor; presheaves; free cocompletion; Cauchy completion; Morita equivalence; distributor; quantale