Interior Operators in General Categories

From MaRDI portal





Given a category \({\mathcal X}\) and some class \(\mathcal{M}\) of monomorphisms in \({\mathcal X}\) denote by \(\mathcal{M}/ X\) those objects of the comma category \({\mathcal X}\downarrow X\) which belong to \(\mathcal{M}\). A family \((c_X\colon \mathcal{M}/ X\rightarrow \mathcal{M}/ X)_{X\in\text{ob}{\mathcal X}}\) of maps is called a closure operator provided it is compatible with the preorder ``\(m\leq m'\) iff \(m\) factors over \(m'\) in a certain way [see \textit{D. Dikranjan} and \textit{W. Tholen}, ``Categorical structure of closure operators (1995; Zbl 0853.18002)]. In the present paper families of maps \((i_X: \mathcal{M}/ X\rightarrow \mathcal{M}/ X)_{X\in\text{ob}{\mathcal X}}\) are considered having the same compatability as closure operators, but w.r.t. the opposite preorder; these then are called interior operators. Elementary properties, examples, and a relation between interior and closure operators are given.




Cited in
(33)








This page was built for publication: Interior Operators in General Categories

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