Abstract
We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by a lattice, of finiteBoolean 〈∨ ,0 〉-semilattices with 〈∨ ,0 〉-embeddings, can be lifted, with respect to the Concfunctor, by a diagram of lattices, then so can every diagram, indexed by a lattice, of finite distributive 〈∨ ,0 〉-semilattices with 〈∨ ,0 〉-embeddings. If the premise of this statement held, this would solve in turn the (still open) problem whether every distributive algebraic lattice is isomorphic to the congruence lattice of a lattice. We also outline potential applications of our method to other functors, such as the \(R \mapsto V(R)\) functor on von Neumann regular rings.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.