Dual attachment pairs in categorically-algebraic topology

Abstract

The paper is a continuation of our study on developing a new approach to (lattice-valued) topological structures, which relies on category theory and universal algebra, and which is called categorically-algebraic (catalg) topology. The new framework is used to build a topological setting, based in a catalg extension of the set-theoretic membership relation "e" called dual attachment, thereby dualizing the notion of attachment introduced by the authors earlier. Following the recent interest of the fuzzy community in topological systems of S. Vickers, we clarify completely relationships between these structures and (dual) attachment, showing that unlike the former, the latter have no inherent topology, but are capable of providing a natural transformation between two topological theories. We also outline a more general setting for developing the attachment theory, motivated by the concept of (L,M)-fuzzy topological space of T. Kubiak and A. Sostak.