On the completion monad via the Yoneda embedding in quasi-uniform spaces

被引：9

作者：

Clementino, Maria Manuel ^{[1
]}

Hofmann, Dirk ^{[2
]}

机构：

[1] Univ Coimbra, Dept Math, CMUC, P-3001454 Coimbra, Portugal

[2] Univ Aveiro, Dept Matemat, P-3810193 Aveiro, Portugal

来源：

TOPOLOGY AND ITS APPLICATIONS | 2011年 / 158卷 / 17期

关键词：

Prorelation; Promodule; Yoneda embedding; Quasi-uniform space; Cauchy complete quasi-uniform space; Cauchy completion; TOPOLOGY;

D O I：

10.1016/j.topol.2011.01.026

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

Making use of the presentation of quasi-uniform spaces as generalised enriched categories, and employing in particular the calculus of modules, we define the Yoneda embedding, prove a (weak) Yoneda Lemma, and apply them to describe the Cauchy completion monad for quasi-uniform spaces. (C) 2011 Elsevier B.V. All rights reserved.

引用

页码：2423 / 2430

页数：8

共 50 条

[1] COMPLETION OF QUASI-UNIFORM SPACES
POPA, E
[J]. MATHEMATISCHE ANNALEN, 1970, 186 (04) : 297 - &
[2] Cauchy Completion of Fuzzy Quasi-Uniform Spaces
Wang, Yongchao
Yue, Yueli
[J]. FILOMAT, 2021, 35 (12) : 3983 - +
[3] Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
Bonsangue, MM
van Breugel, F
Rutten, JJMM
[J]. THEORETICAL COMPUTER SCIENCE, 1998, 193 (1-2) : 1 - 51
[4] Completion of Quasi-Uniform Frames
J. Frith
W. Hunsaker
[J]. Applied Categorical Structures, 1999, 7 : 261 - 270
[5] Some Remarks on Right K>-Completion of Quasi-Uniform Spaces
V. Gregori
J. Marín
S. Romaguera
[J]. Acta Mathematica Hungarica, 2000, 88 : 139 - 146
[6] A CONSTRUCTION OF AN IDEMPOTENT HALF-COMPLETION FOR QUASI-UNIFORM SPACES
Andrikopoulos, Athanasios
[J]. STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA, 2010, 47 (02) : 200 - 213
[7] Completion of quasi-uniform frames
Frith, J
Hunsaker, W
[J]. APPLIED CATEGORICAL STRUCTURES, 1999, 7 (03) : 261 - 270
[8] FUNCTION SPACES OF QUASI-UNIFORM SPACES
NAIMPALL.SA
[J]. KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETESCHAPPEN-PROCEEDINGS SERIES A-MATHEMATICAL SCIENCES, 1965, 68 (05): : 768 - &
[9] A NOTE ON STOLTENBERG,R. COMPLETION THEORY OF QUASI-UNIFORM SPACES
GREGORI, V
FERRER, J
[J]. PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 1984, 49 (JUL) : 36 - 36
[10] Some remarks on right K-completion of quasi-uniform spaces
Gregori, V
Marín, J
Romaguera, S
[J]. ACTA MATHEMATICA HUNGARICA, 2000, 88 (1-2) : 139 - 146

← 1 2 3 4 5 →