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 条

[31] CARTESIAN CLOSED COREFLECTIVE SUBCATEGORIES OF THE CATEGORY OF TOPOLOGICAL-SPACES
CINCURA, J
TOPOLOGY AND ITS APPLICATIONS, 1991, 41 (03) : 205 - 212
[32] Quotient reflective subcategories of the category of bounded uniform filter spaces
Khadim, Sana
Qasim, Muhammad
AIMS MATHEMATICS, 2022, 7 (09): : 16632 - 16648
[33] PRODUCTS IN CARTESIAN CLOSED SUBCATEGORIES OF THE CATEGORY OF TOPOLOGICAL-SPACES
CINCURA, J
TOPOLOGY AND ITS APPLICATIONS, 1994, 59 (02) : 195 - 200
[34] Heredity and cartesian closed coreflective subcategories of the category of topological spaces
Cincura, J
TOPOLOGY AND ITS APPLICATIONS, 1996, 69 (03) : 293 - 297
[35] CLOSED STRUCTURES ON REFLECTIVE SUBCATEGORIES OF THE CATEGORY OF TOPOLOGICAL-SPACES
CINCURA, J
TOPOLOGY AND ITS APPLICATIONS, 1990, 37 (03) : 237 - 247
[36] Proving Behavioural Apartness
Turkenburg, Ruben
Beohar, Harsh
Kupke, Clemens
Rot, Jurriaan
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14617 LNCS : 156 - 173
[37] RELATING APARTNESS AND BISIMULATION
Geuvers, Herman
Jacobs, Bart
LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (03) : 15:1 - 15:35
[38] Two cartesian closed subcategories of fuzzy domains
Liu, Min
Zhao, Bin
FUZZY SETS AND SYSTEMS, 2014, 238 : 102 - 112
[39] CONVERSE EXTENSIONALITY AND APARTNESS
van den Berg, Benno
Passmann, Robert
LOGICAL METHODS IN COMPUTER SCIENCE, 2022, 18 (04)
[40] Apartness, compactness and nearness
Bridges, Douglas
Ishihara, Hajime
Schuster, Peter M.
Vita, Luminita
THEORETICAL COMPUTER SCIENCE, 2008, 405 (1-2) : 3 - 10

← 1 2 3 4 5 →