Algebra universalis

, Volume 65, Issue 3, pp 285–298 | Cite as

Algebraic lattices and locally finitely presentable categories



We show that subobjects and quotients respectively of any object K in a locally finitely presentable category form an algebraic lattice. The same holds for the internal equivalence relations on K. In fact, these results turn out to be—at least in the case of subobjects—nothing but simple consequences of well known closure properties of the classes of locally finitely presentable categories and accessible categories, respectively. We thus get a completely categorical explanation of the well known fact that the subobject- and congruence lattices of algebras in finitary varieties are algebraic. Moreover we also obtain new natural examples: in particular, for any (not necessarily finitary) polynomial set-functor F, the subcoalgebras of an F-coalgebra form an algebraic lattice; the same holds for the lattices of regular congruences and quotients of these F-coalgebras.

2010 Mathematics Subject Classification

Primary: 08A30 Secondary: 18C35 18B35 

Key words and phrases

algebraic lattice locally finitely presentable category subobject quotient internal equivalence relation congruence 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Adámek J., Hébert M., Sousa L.: The orthogonal subcategory problem and the small object argument. Appl. Cat. Struct. 17, 211–246 (2009)MATHCrossRefGoogle Scholar
  2. 2.
    Adámek J., Herrlich H., Strecker G.E.: Abstract and Concrete Categories. John Wiley, New York (1990)MATHGoogle Scholar
  3. 3.
    Adámek J., Porst H.–E.: On varieties and covarieties in a category. Math. Structures Comput. Sci. 13, 201–232 (2003)MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Adámek J., Porst H.–E.: On tree coalgebras and coalgebra presentations. Theoret. Comput. Sci. 311, 256–283 (2004)CrossRefGoogle Scholar
  5. 5.
    Adámek J., Rosický J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)MATHCrossRefGoogle Scholar
  6. 6.
    Gumm H.P., Schröder T.: Types and coalgebraic structure. Algebra Universalis 53, 229–252 (2005)MathSciNetMATHCrossRefGoogle Scholar
  7. 7.
    Hébert M.: K-Purity and orthogonality. Theory Appl. Cat. 12, 355–371 (2004)MATHGoogle Scholar
  8. 8.
    MacLane S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)Google Scholar
  9. 9.
    Mavoungou, J.P., Nkuimi-Jugnia, C.: On a characterization of the lattice of subsystems of a transition system. Int. J. Math. Math. Sci., Article ID 82318 (2006)Google Scholar

Copyright information

© Springer Basel AG 2011

Authors and Affiliations

  1. 1.Department of Mathematics and Computer ScienceUniversity of BremenBremenGermany
  2. 2.Department of Mathematics and StatisticsTshwane University of TechnologyPretoriaSouth Africa

Personalised recommendations