Interior Operators and Topological Categories

The introduction of the categorical notion of closure operators has unified various important notions and has led to interesting examples and applications in diverse areas of mathematics (see for example, Dikranjan and Tholen (\cite{DT})). For a topological space it is well-known that the associated closure and interior operators provide equivalent descriptions of the topology, but this is not true in general. So, it makes sense to define and study the notion of interior operators $I$ in the context of a category $\mathfrak C$ and a fixed class $\mathcal M$ of monomorphisms in $\mathfrak C$ closed under composition in such a way that $\mathfrak C$ is finitely $\mathcal M$-complete and the inverse images of morphisms have both left and right adjoint, which is the purpose of this paper.

💡 Research Summary

**
The paper introduces a categorical notion of interior operators that parallels the well‑known closure operators studied by Dikranjan and Tholen. Working in a category 𝒞 equipped with a distinguished class 𝓜 of monomorphisms that is closed under composition, the author assumes that 𝒞 is finitely 𝓜‑complete (i.e., all finite 𝓜‑diagrams admit limits) and that for every morphism f the pull‑back functor f⁎ has both a left and a right adjoint. Under these hypotheses an interior operator I assigns to each 𝓜‑monomorphism m : A→B another 𝓜‑monomorphism I(m) : A→B satisfying three axioms: extensivity (m ≤ I(m)), monotonicity (m ≤ n ⇒ I(m) ≤ I(n)), and continuity (f⁎(I(n)) = I(f⁎(n)) for all f). These conditions are direct categorical analogues of the classical interior axioms for topological spaces, but they are formulated so that they make sense in any setting where pull‑backs admit adjoints.

The core of the work is the analysis of the relationship between interior operators and closure operators. A closure operator C on the same data satisfies C(m) ≥ m together with monotonicity and continuity. The paper proves that, when the adjunctions exist, C and I are mutually adjoint: either C ⊣ I or I ⊣ C. Consequently the fixed points of C (closed subobjects) and of I (open subobjects) are in bijective correspondence, and the pair (C, I) completely determines the underlying “topology’’ on 𝒞. This duality generalises the familiar fact that in a topological space the closure and interior maps are order‑theoretic complements.

To illustrate the abstract theory, three families of examples are presented. In the category Top of topological spaces, taking 𝓜 to be the class of regular monomorphisms recovers the usual interior operator. In the module category Mod_R, with 𝓜 the class of submodule inclusions, the interior operator can be taken as the “core’’ (intersection of all essential extensions) of a submodule, while the closure operator is the usual submodule closure under a given topology on R. Finally, in any complete lattice (or Heyting algebra) where pull‑backs have both adjoints, the interior operator coincides with the algebraic interior (the greatest open element below a given one) and the closure operator with the algebraic closure (the least closed element above a given one). These examples demonstrate that the framework applies not only to classical topology but also to algebraic and logical settings.

Beyond the definition and basic properties, the author develops several constructions that rely on interior operators. An “interior topology’’ on 𝒞 is defined by declaring a subobject open precisely when it is fixed by I. Morphisms that preserve I under pull‑back are called interior‑continuous; they form a subcategory that is often richer than the ordinary continuous maps. The paper also discusses interior‑homeomorphisms (isomorphisms that are interior‑continuous in both directions) and shows how they give rise to a new notion of equivalence between objects that respects the interior structure.

The final section outlines future research directions. Potential applications include the study of internal logics of toposes, type‑theoretic models where interior operators encode computational effects, and dynamical systems where interior‑continuous maps capture robust state transitions. Moreover, the author suggests investigating interior‑derived invariants, such as interior homology or interior cohomology, and exploring categorical Galois theories where interior operators replace traditional closure conditions.

In summary, the paper provides a systematic categorical treatment of interior operators, establishes their duality with closure operators under natural adjointness assumptions, supplies concrete examples across topology, algebra, and logic, and opens a pathway to new structural concepts and applications in several branches of mathematics and theoretical computer science.