Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-18T13:07:11.926Z Has data issue: false hasContentIssue false
  • English
  • Français

Colimits of algebras revisited

Published online by Cambridge University Press:  17 April 2009

Jiří Adámek
Jiří Adámek
Affiliation:
Faculty of Electrical Engineering, České Vysoké Učení; Technické v Praze, Czechoslovakia.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

It has “been open for some time whether, given an algebraic theory (triple, monad) Π in a cocomplete category K, also the category KΠ of Π-algebras must be cocomplete. We solve this in the negative by exhibiting a free algebraic theory Π in the category Gra of graphs such that GraΠ is not cocomplete. Further, we improve somewhat the well-known colimit theorem of Barr and Linton by showing that the base category need not be complete.

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 17 , Issue 3 , December 1977 , pp. 433 - 450
Copyright
Copyright © Australian Mathematical Society 1977

References

[1]Adámek, Jiří, “Kategoriální teorie automatů a universální algebra” [Categorical theory of automata and universal algebra] (Doctoral Dissertation, Charles University, Prague, 1974).Google Scholar
[2]Adámek, J., Koubek, V., “Algebras and automata over a functor”, Kibernetika (to appear).Google Scholar
[3]Arbib, Michael A. and Manes, Ernest G., “Machines in a category: an expository introduction”, SIAM Rev. 16 (1974), 163–192.CrossRefGoogle Scholar
[4]Barr, Michael, “Coequalizers and free triples”, Math. Z. 116 (1970), 307–322.CrossRefGoogle Scholar
[5]Herrlich, Horst, Strecker, George E., Category theory: an introduction (Allyn and Bacon, Boston, Massachusetts, 1973).Google Scholar
[6]Koubek, Václav, Reiterman, Jan, “Categorical constructions of free algebras, colimits and completions of partial algebras”, submitted.Google Scholar
[7]Linton, F.E.J., “Coequalizers in categories of algebras”, Seminar on triples and categorical homology theory, 75–90 (Lecture Notes in Mathematics, 80. Springer-Verlag, Berlin, Heidelberg, New York, 1969).CrossRefGoogle Scholar
[8]Mac Lane, S., Categories for the working mathematician (Graduate Texts in Mathematics, 5. Springer-Verlag, New York, Heidelberg, Berlin, 1971).CrossRefGoogle Scholar
[9]Manes, Ernest G., Algebraic theories (Graduate Texts in Mathematics, 26. Springer-Verlag, New York, Heidelberg, Berlin, 1976).CrossRefGoogle Scholar