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 条
12345