Categorically algebraic topology versus universal topology

DOI10.1016/J.FSS.2012.10.005MaRDI QIDQ2445540zbMATH OpenOpenAlexFDO

Publication date 14 April 2014

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2012.10.005

(\(\Omega\)-)algebra (Co)reflective subcategory Categorical topology Categorically algebraic topology Functor-costructured category Locale Point-set lattice-theoretic topology Powerset theory Semi-quantale Topological co-axiom Topological system Topological theory Universal topology Variety

Mathematics Subject Classification ID

Categorical methods in general topology (54B30)

Review text

The purpose of this paper is to give a careful account on the relationships between categorical fuzzy topology and universal topology. The approach of the author to (lattice-valued) topology is based on category theory and universal algebra, and, therefore, called categorically algebraic (catalg) topology. Among other things, motivated by the results of universal topology of H. Herrlich, the author proves that a concrete category is fibre-small and topological if and only if it is concretely isomorphic to a subcategory of a category of catalg topological structures which is definable by topological co-axioms. With the achievements of this paper, the author hopes to promote the idea that universal topology is better suited for purely theoretical topological investigations, whereas in the case of concrete applications of the theory, catalg topology gets the upper hand. The paper ends with a detailed discussion of several open problems related to its topic.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Categorically algebraic topology versus universal topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2445540)