From objects to diagrams for ranges of functors

DOI10.1007/978-3-642-21774-6zbMATH Open1241.18001arXiv1003.4850OpenAlexW4206791359MaRDI QIDQ555545FDOQ555545

Authors: Pierre Gillibert, Friedrich Wehrung 

Publication date: 25 July 2011

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Abstract: Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to transfer this statement to diagrams of A. These diagrams are all indexed by posets in which every principal ideal is a join-semilattice and the set of all upper bounds of any finite subset is a finitely generated upper subset. Various consequences follow, in particular: (1) The Gr"atzer-Schmidt Theorem, which states that every algebraic lattice is isomorphic to the congruence lattice of some algebra, can be extended to finite poset-indexed diagrams of algebraic lattices and compactness-preserving complete join-homomorphisms (and no finiteness restriction if there are large enough cardinals). (2) In a host of situations, the relative critical point between two locally finite quasivarieties is either less than aleph omega or equal to infinity. (3) A lattice of cardinality aleph 1 may not have any congruence-permutable, congruence-preserving extension.

Full work available at URL: https://arxiv.org/abs/1003.4850

Recommendations

• Lifting retracted diagrams with respect to projectable functors
• scientific article; zbMATH DE number 1086724
• scientific article; zbMATH DE number 19623
• Range categories. I: General theory
• Categorical complexity

zbMATH Keywords

latticecongruenceposetsemilatticeaccessible categoriescondensate lifting lemmadirected colimitfunctor lifting[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDtzer-Schmidt+theorem&go=Go Gr��tzer-Schmidt theorem]

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Nonclassical and second-order set theories (03E70) Subalgebras, congruence relations (08A30) Accessible and locally presentable categories (18C35) General theory of categories and functors (18A99) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Cited In (18)

• Lifting retracted diagrams with respect to projectable functors
• Diagram induced properties of congruence lattices
• Cevian operations on distributive lattices
• A solution to the MV-spectrum problem in size aleph one
• Infinite combinatorial issues raised by lifting problems in universal algebra
• Categories of partial algebras for critical points between varieties of algebras.
• Uncountable critical points for congruence lattices
• Lifting colimits in various categories
• Cometic functors and representing order-preserving maps by principal lattice congruences
• The possible values of critical points between strongly congruence-proper varieties of algebras
• Lifting defects for nonstable \(K_{0}\)-theory of exchange rings and \(C^*\)-algebras
• Title not available (Why is that?)
• The possible values of critical points between varieties of lattices
• Real spectrum versus \(\ell\)-spectrum via Brumfiel spectrum
• From noncommutative diagrams to anti-elementary classes
• An infinite combinatorial statement with a poset parameter
• Representing some families of monotone maps by principal lattice congruences
• Evaporation schemes in congruence lattices of majority algebras

This page was built for publication: From objects to diagrams for ranges of functors

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