An introduction to quantaloid-enriched categories

A non-commutative and non-idempotent theory of quantale sets

Preordered sets valued in a GL-monoid

© Andrée C. Ehresmann et les auteurs, 1982, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.

Cauchy-completion and the associated sheaf

We analyze the relationship between four notions of completeness for Γ-ultrametric spaces. The notions we consider include Cauchy completeness, strong Cauchy completeness, spherical completeness and injectivity. In the process we show that the category of Γ-ultrametric spaces is equivalent to the category of flabby separated presheaves on Γ
 op
 .

R. Betti

Papers

The symmetry of the Cauchy-completion of a category