2010/10/21 by Joaquin Luna-Torres, Luna-Torres, Joaquin, Carlos Orlando Ochoa C +1
Mathematics · #06A15 #18B35 #54A05 #54B30 #Category Theory (math.CT) #FOS: Mathematics #math.CT #msc:06A15 #msc:18B35 #msc:54A05 #msc:54B30
paper · pdf · doi:10.48550/arxiv.1010.4460
19 pages
arxiv created 2010/10/21 · arxiv updated 2010/10/22
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 (\citeDT)). 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.