Two subcategories of apartness spaces

被引：9

作者：

Ishihara, Hajime ^{[1
]}

机构：

[1] Japan Adv Inst Sci & Technol, Sch Informat Sci, Nomi, Ishikawa 9231292, Japan

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2012年 / 163卷 / 02期

基金：

日本学术振兴会;

关键词：

Constructive mathematics; Neighbourhood space; Uniform space; Apartness space; Adjunction; TOPOLOGY;

D O I：

10.1016/j.apal.2011.06.022

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We introduce the notion of a topological quasi-apartness space and the notion of a uniform quasi-apartness space, and construct an adjunction between the category of topological quasi-apartness spaces and the category of neighbourhood spaces, and an adjunction between the category of uniform spaces and the category of uniform quasi-apartness spaces. (C) 2011 Elsevier B.V. All rights reserved.

引用

页码：132 / 139

页数：8

共 50 条

[1] PRECOMPACT APARTNESS SPACES
Bridges, Douglas S.
LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (02)
[2] Apartness spaces as a framework for constructive topology
Bridges, D
Vita, L
ANNALS OF PURE AND APPLIED LOGIC, 2003, 119 (1-3) : 61 - 83
[3] Apartness spaces and uniform neighbourhood structures
Bridges, Douglas S.
ANNALS OF PURE AND APPLIED LOGIC, 2016, 167 (09) : 850 - 864
[4] Proximal and uniform convergence on apartness spaces
Vita, LS
MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (03) : 255 - 259
[5] Quasi-apartness and neighbourhood spaces
Ishihara, Hajime
Mines, Ray
Schuster, Peter
Vita, Luminita
ANNALS OF PURE AND APPLIED LOGIC, 2006, 141 (1-2) : 296 - 306
[6] SUBCATEGORIES OF UNIFORM SPACES
RICE, MD
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 201 (JAN) : 305 - 314
[7] Pre-apartness structures on spaces of functions
Bridges, D. S.
Vita, L. S.
JOURNAL OF COMPLEXITY, 2006, 22 (06) : 881 - 893
[8] REFLECTIVE SUBCATEGORIES, TYCHONOFF SPACES, AND SPECTRAL SPACES
Echi, Othman
Lazaar, Sami
TOPOLOGY PROCEEDINGS, VOL 34, 2009, 34 : 307 - 319
[9] Subcategories of Filter Tower Spaces
J. Minkler
G. Minkler
G. Richardson
Applied Categorical Structures, 2001, 9 : 369 - 379
[10] Subcategories of filter tower spaces
Minkler, J
Minkler, G
Richardson, G
APPLIED CATEGORICAL STRUCTURES, 2001, 9 (04) : 369 - 379

← 1 2 3 4 5 →