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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cartesian closedness in categories with an idempotent closure operator and closed morphisms
scientific article

    Statements

    Cartesian closedness in categories with an idempotent closure operator and closed morphisms (English)
    0 references
    22 March 2022
    0 references
    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.
    0 references
    subobject-structured category
    0 references
    categorical closure operator
    0 references
    Cartesian closed category
    0 references
    0 references

    Identifiers