Topogenous orders on forms

DOI10.1515/MS-2025-0014MaRDI QIDQ7013304zbMATH OpenFDO

Authors Minani Iragi, David Holgate, Josef Šlapal

Publication date 13 March 2025

Published in Mathematica Slovaca (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/MS-2025-0014

zbMATH Keywords

(co)cartesian liftingclosure operatorcohereditarinessforminterior operatorstrict and final morphismstopogenous order

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Fibered categories (18D30) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30)

Review text

Császár introduced topogenous orders as a way to provide a unified study of topologies, uniformities, and proximities. Topogenous orders have been extened to the categorical setting, where they provide a unified approach to closure-, interior-, and neighborhood-operators and facilitate the study of quasi-uniform structures in categories. Following the introduction of categorical closure operators in [\textit{D. Dikranjan} and \textit{E. Giuli}, Topology Appl. 27, 129--143 (1987; Zbl 0634.54008)] and closure operators on forms (``formal closure operators) in [\textit{M. Duckerts-Antoine} et al., Theory Appl. Categ. 32, 526--546 (2017; Zbl 1397.18007)], here the authors introduce topogenous orders on (appropriate) forms, or ``formal topogenous orders. These include formal closure operators as a reflective subcategory. A special class of formal topogenous orders correspond to interior operators on forms. It is shown that a formal topogenous order which preserves codomains of cocartesian lifings (reflects domains of cartesian liftings) of a morphism is strict (final). Examples relating the results to the theta topology, the Skula topology, quasi-uniformities, and groups are given.

Cites work

• Categorical neighborhood operators
• Closure operators. I
• Duality in non-abelian algebra. II: From Isbell bicategories to Grandis exact categories
• Epireflective subcategories and formal closure operators
• scientific article; zbMATH DE number 3789474 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 832997 (Why is no real title available?)
• scientific article; zbMATH DE number 7692247 (Why is no real title available?)
• Interior Operators in General Categories
• On a Reflective Subcategory of the Category of all Topological Spaces
• Quasi-uniform and syntopogenous structures on categories
• Quasi-uniform structures determined by closure operators
• Topogenous and nearness structures on categories
• Transitive quasi-uniform structures depending on a parameter

This page was built for publication: Topogenous orders on forms

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