Neighbourhood operators: additivity, idempotency and convergence

DOI10.1007/S10485-019-09581-XMaRDI QIDQ2011386zbMATH OpenOpenAlexWikidataFDO

Publication date 6 December 2019

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-019-09581-x

additivity compactness convergence filters idempotency interior operators Kan extension Kleisli composition neighbourhood operators

Mathematics Subject Classification ID

Preorders, orders, domains and lattices (viewed as categories) (18B35) Categorical methods in general topology (54B30) Special maps on topological spaces (open, closed, perfect, etc.) (54C10)

Review text

The paper begins with preliminaries on interior and neighbourhood operators on posets and categories, recalling, among other facts, the Galois connection between such operators; interesting familiar examples are discussed within this context. The author moves on to the concepts of \textit{additivity} and \textit{idempotency} for neighbourhood (and interior) operators, defining these concepts and exploring their meaning with examples. For a category endowed with a neighbourhood operator, full reflective and full coreflective subcategories are studied; instances of the latter are the reflections and coreflections amongst neighbourhood, pretopological, supertopological, and topological spaces. In the presence of a factorisation system, closed maps with respect to closure operators and to interior operators are shown to coincide in the setting where subobject lattices are Boolean algebras. Finally, maps that preserve or reflect convergence are studied by introducing the concept of \textit{reflecting morphisms}, and a Frolík-type theorem is proved. A concept of separation for objects is established, which ``is rather related to the notion of \textit{convergence separation}. Many results connecting reflecting morphisms and separated objects are presented; an instance of one of such results is ``the well-known fact that compact subspaces of a Hausdorff space are closed.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Neighbourhood operators: additivity, idempotency and convergence

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