scientific article; zbMATH DE number 1058169
Let \({\mathcal A}\) be a category with an \((E,M)\)-factorization structure for sinks. Let \(S({\mathcal A})\) be the collection of all subclasses of objects of \({\mathcal A}\) ordered by inclusion. For a fixed family \(N\) of monos in \(M\) the correspondence \(\nabla_NB= \{a\in A|\) for all \(b\in B\), all \(a\to b\) have the same direct image as does each of the \(N\)-subobjects of \(a\}\): \(S({\mathcal A})^{op}\to S(A)\) \((\Delta_ND= \{a\in {\mathcal A}|\) for all \(d\in D\), all \(d\to a\) have the same direct image as does each of the \(N\)-subobjects of \(d\}\): \(S({\mathcal A})\to S({\mathcal A})^{op})\) defines a Galois connection, i.e., \(\nabla_N\) is right adjoint to \(\Delta_N\). If \(N\) is closed under direct image then it is shown that \(\nabla_N\) factors through \(CL({\mathcal A},M)\), the collection of all closure operators \(C\) on \({\mathcal A}\) with respect to \(M\), via two Galois connections with right adjoints \(T_N:S({\mathcal A})^{op}\to CL({\mathcal A},M)\) and \(I_N: CL({\mathcal A}, M)\to S({\mathcal A})\) (i.e., \(\nabla_N= I_NT_N)\), where \(I_N(C)= \{a\in {\mathcal A} |\) each \(N\)-subobject of \(a\) is \(C\)-dense\} and where the left adjoint of \(T_N\) is given by \(C\mapsto \{a\in {\mathcal A} |\) each \(N\)-subobject of \(a\) is \(C\)-closed\}. In the special case in which \({\mathcal A}\) is the category of topological spaces and \(M\) is the collection of all extremal monos and \(N\) those extremal monos with nonempty domain, the Galois connections \(\nabla_N\) produces connectedness and disconnectedness. For the entire collection see [Zbl 0844.00021].
- Closure operators and fuzzy connectedness
- Closure operators and connectedness
- Inf-structuring functions: a unifying theory of connections and connected operators
- DISCONNECTEDNESS CLASSES
- Discrete Objects, Splitting Closure and Connectedness
- GALOIS CONNECTIONS AND CHARACTERIZATION THEOREM FOR DISPERSED, HEREDITARILY DISPERSED, AND HEREDITARY FACTORIZATION STRUCTURES
- scientific article; zbMATH DE number 4059653 (Why is no real title available?)
- CONNECTEDNESS, DISCONNECTEDNESS AND CLOSURE OPERATORS: FURTHER RESULTS
- Closure Operator Constructions Depending On One Parameter
- Separation versus connectedness
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353288)
