Abstract
One of the main origins of our work is the first author’s paper Gillibert (Int. J. Algebra Comput. 19(1):1–40, 2009), where it is proved, in particular, that the critical point crit(A;B) between a locally finite variety A and a finitely generated congruence-distributive variety B such that \( {\rm Con_c}A \nsubseteq {\rm Con_c}B \) is always less than \(\mathfrak{N}_w \). One of the goals of the present chapter is to show how routine categorical verifications about algebraic systems make it possible, using CLL, to extend this result to relative compact congruence semilattices of quasivarieties of algebraic systems (i.e., the languages now have relations as well as operations, and we are dealing with quasivarieties rather than varieties). That particular extension is stated and proved in Theorem 4.9.4. We also obtain a version of Grätzer–Schmidt’s Theorem for poset-indexed diagrams of (V, 0)-semilattices and (V, 0)-homomorphisms in Theorem 4.7.2.With further potential applications in view, most of Chap. 4 is designed to build up a framework for being able to easily verify larderhood of many structures arising from (generalized) quasivarieties of algebraic systems. Although we included in this chapter, for convenience sake, a number of already known or folklore results, it also contains results which, although they could be in principle obtained from already published results, could not be so in a straightforward fashion. Such results are Proposition 4.2.3 (description of some weakly k-presented structures in MInd) or Theorem4.4.1 (preservation of all small directed colimits by the relative compact congruence semilattice functor within a given generalized quasivariety). The structures studied in Chap. 4 will be called monotone-indexed struc- tures. They form a category, that we shall denote by MInd. The objects of MInd are just the first-order structures. For first-order structures A and B, a morphism from A to B in MInd can exist only if the language of A is contained in the language of B, and then it is defined as a homomorphism (in the usual sense) from A to the reduct of B to the language of A.
Keywords
- Unary Algebra
- Canonical Projection
- Congruence Lattice
- Relation Symbol
- Compact Element
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gillibert, P., Wehrung, F. (2011). Getting Larders from Congruence Lattices of First-Order Structures. In: From Objects to Diagrams for Ranges of Functors. Lecture Notes in Mathematics(), vol 2029. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21774-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-21774-6_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21773-9
Online ISBN: 978-3-642-21774-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)
