Categorically algebraic topology versus universal topology (Q2445540)

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.