论文信息 - Flatness, preorders and general metric spaces

Flatness, preorders and general metric spaces

This paper studies a general notion of flatness in the enriched context: P-flatness where the parameter P stands for a class of presheaves. One obtains a completion of a category A by considering the category Flat_P(A) of P-flat presheaves over A. This completion is related to the free cocompletion of A under a class of colimits defined by Kelly. For a category A, for P = P0 the class of all presheaves, Flat_P0(A) is the Cauchy-completion of A. Two classes P1 and P2 of general interest for general metric spaces are considered. The P1- and P2-flatness are investigated and the associated completions are characterized for general metric spaces (enrichemnts over R+) and preorders (enrichments over Bool). We get this way two non-symmetric completions for metric spaces and retrieve the ideal completion for preorders.

Vincent Schmitt | V. Schmitt

[1] Philipp Sünderhauf,et al. Quasi-uniform completeness in terms of Cauchy nets , 1995 .

[2] Ross Street,et al. Absolute colimits in enriched categories , 1983 .

[3] F. William Lawvere,et al. Metric spaces, generalized logic, and closed categories , 1973 .

[4] G. M. Kelly,et al. Structures defined by finite limits in the enriched context, I , 1982 .

[5] Michael H. Albert,et al. The closure of a class of colimits , 1988 .

[6] P. T. Johnstone,et al. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (London Mathematical Society Lecture Note Series, 64) , 1983 .

[7] Peter T. Johnstone,et al. A THEORY OF ENRICHED SKETCHES , 1998 .

[8] Fletcher. Quasi-Uniform Spaces , 1982 .

[9] Vincent Schmitt. Enriched Categories and Quasi-uniform Spaces , 2004, Electron. Notes Theor. Comput. Sci..

[10] Ross Street,et al. Yoneda structures on 2-categories , 1978 .

[11] Ross Street,et al. Variation through enrichment , 1983 .

[12] Cocompleteness over coverings , 1985 .

[13] G. M. Kelly,et al. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.

[14] Marcello M. Bonsangue,et al. Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding , 1995, Theor. Comput. Sci..