Cartesian closedness in categories with an idempotent closure operator and closed morphisms (Q2118157)

In this paper new types of cartesian closed categories are constructed. The starting point is a category \(\mathcal{X}\) with multiple pullbacks for which a given class of monomorphisms \(\mathcal{M}\) is considered, containing all regular monomorphisms, closed under composition, containing all isomorphisms and pullback stable in \(\mathcal{X}\). Under these circumstances \(\mathcal{X}\) is said to be \(\mathcal{M}\)-subobject structured. For an object \(X\) in \(\mathcal{X},\) the class \(\text{sub}_{\mathcal{M}}X\) consists of all \(\mathcal{M}\)-subobjects of \(X\). This class \(\text{sub}_{\mathcal{M}} X\) is preordered and after identifying isomorphic elements, one obtains the \(\mathcal{M}\)-subobject lattice of \(X\). For the next step in the construction one considers \(Clo_{\mathcal{M}}(\mathcal{X}),\) the quasi category with objects pairs \((X,c)\) where \(X\) is an \(\mathcal{X}\)-object and \(c: \text{sub}_{\mathcal{M}}X \rightarrow \text{sub}_{\mathcal{M}}X\) is an extensive, monotonic and idempotent map and the morphisms \(f: (X,c) \rightarrow (Y,d)\) are maps \(f: \text{sub}_{\mathcal{M}}X \rightarrow \text{sub}_{\mathcal{M}}Y\) that are closed in the sense that \(c(m) =m \) implies \(d(f(m)) = f(m)\). The main result of the paper gives sufficient conditions for the quasi category \(Clo_{\mathcal{M}}(\mathcal{X})\) to be cartesian closed. Some examples illustrate the result, the case where \(\mathcal{X}\) is the category \(Set\) considered as an \(\mathcal{M}\)-structured category for \(\mathcal{M}\) the class of all injections and the case where \(\mathcal{X}\) is the category of graphs with \(\mathcal{M}\) the class of all embeddings.