From objects to diagrams for ranges of functors

DOI10.1007/978-3-642-21774-6MaRDI QIDQ555545zbMATH OpenOpenAlexFDO

Authors Pierre Gillibert, Friedrich Wehrung

Publication date 25 July 2011

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

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

zbMATH Keywords

latticecongruenceposetsemilatticeaccessible categoriescondensate lifting lemmadirected colimitfunctor liftingGrä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)

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.

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

Cited in

(20)

• The possible values of critical points between varieties of lattices
• Diagram induced properties of congruence lattices
• Infinite combinatorial issues raised by lifting problems in universal algebra
• Ranges of functors in algebra
• Real spectrum versus \(\ell\)-spectrum via Brumfiel spectrum
• Cometic functors and representing order-preserving maps by principal lattice congruences
• A solution to the MV-spectrum problem in size aleph one
• Lifting retracted diagrams with respect to projectable functors
• Categories of partial algebras for critical points between varieties of algebras.
• Uncountable critical points for congruence lattices
• 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
• Cevian operations on distributive lattices
• scientific article; zbMATH DE number 3944109 (Why is no real title available?)
• Representing some families of monotone maps by principal lattice congruences
• From noncommutative diagrams to anti-elementary classes
• An infinite combinatorial statement with a poset parameter
• Categorical complexity
• Evaporation schemes in congruence lattices of majority algebras
• Lifting colimits in various categories

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)