Which Categories Are Varieties? ((Co)algebraic pearls)

Authors Jiří Adámek, Jiří Rosický



PDF
Thumbnail PDF

File

LIPIcs.CALCO.2021.6.pdf
  • Filesize: 0.61 MB
  • 14 pages

Document Identifiers

Author Details

Jiří Adámek
  • Department of Mathematics, Czech Technical University in Prague, Czech Republic
  • Institute of Theoretical Computer Science, Technische Universität Braunschweig, Germany
Jiří Rosický
  • Department of Mathematics and Statistics, Faculty of Sciences, Masaryk University, Brno, Czech Republic

Cite AsGet BibTex

Jiří Adámek and Jiří Rosický. Which Categories Are Varieties? ((Co)algebraic pearls). In 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 211, pp. 6:1-6:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.CALCO.2021.6

Abstract

Categories equivalent to single-sorted varieties of finitary algebras were characterized in the famous dissertation of Lawvere. We present a new proof of a slightly sharpened version: those are precisely the categories with kernel pairs and reflexive coequalizers having an abstractly finite, effective strong generator. A completely analogous result is proved for varieties of many-sorted algebras provided that there are only finitely many sorts. In case of infinitely many sorts a slightly weaker result is presented: instead of being abstractly finite, the generator is required to consist of finitely presentable objects.

Subject Classification

ACM Subject Classification
  • Theory of computation → Algebraic language theory
Keywords
  • variety
  • many-sorted algebra
  • abstractly finite object
  • effective object
  • strong generator

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. J. Adámek. A categorical characterization of varieties. Algebra Universalis, 51:215-234, 2004. Google Scholar
  2. J. Adámek. On quasivarieties and varieties as categories. Studia Logica, 78:7-33, 2004. Google Scholar
  3. J. Adámek, S. Milius, L. Sousa, and T. Wissmann. On finitary functors. Theory Appl. Categories, 34:1134-1164, 2019. Google Scholar
  4. J. Adámek and J. Rosický. Locally presentable and accessible categories. Cambridge University Press, 1994. Google Scholar
  5. J. Adámek, J. Rosický, and E. Vitale. Algebraic Theories. Cambridge University Press, 2011. Google Scholar
  6. M. Barr and C. Well. Toposes, Triples and Theories. Springer Verlag, New York, 1985. Google Scholar
  7. F. Borceux. Handbook of categorical algebra, volume 2. Cambridge Univ. Press, 1994. Google Scholar
  8. J. Jurka and J. Rosický. Are chain complete posets co-wellpowered? to appear in Order. URL: https://arxiv.org/abs/2007.02255.
  9. F.W. Lawvere. Functorial semantics of algebraic theories. Dissertation, Columbia Univ., 1963. Google Scholar
  10. S. MacLane. Categories for the working mathematician. Springer, New York, 1997. Google Scholar
  11. M.C. Pedicchio and R.J. Wood. A note on effectively projective objects. J. Pure Appl. Algebra, 158:83-87, 2001. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail