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

A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on

Published online by Cambridge University Press:  17 April 2009

G.M. Kelly
G.M. Kelly
Affiliation:
Department of Pure Mathematics, University of Sydney, Sydney, New South Wales 2006, Australia.
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.

Many problems lead to the consideration of “algebras”, given by an object A of a category A together with “actions” TkA → A on A of one or more endofunctors of A, subjected to equational axioms. Such problems include those of free monads and free monoids, of cocompleteness in categories of monads and of monoids, of orthogonal subcategories (= generalized sheaf-categories), of categories of continuous functors, and so on; apart from problems involving the algebras for their own sake.

Desirable properties of the category of algebras - existence of free ones, cocompleteness, existence of adjoints to algebraic functors - all follow if this category can be proved reflective in some well-behaved category: for which we choose a certain comma-category T/A

We show that the reflexion exists and is given as the colimit of a simple transfinite sequence, if A is cocomplete and the Tk preserve either colimits or unions of suitably-long chains of subobjects.

The article draws heavily on the work of earlier authors, unifies and simplifies this, and extends it to new problems. Moreover the reflectivity in T/A is stronger than any earlier result, and will be applied in forthcoming articles, in an enriched version, to the study of categories with structure.

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 22 , Issue 1 , August 1980 , pp. 1 - 83
Copyright
Copyright © Australian Mathematical Society 1980

References

[1]Adámek, Jiří, “Colimits of algebras revisited”, Bull. Austral. Math. Soc. 17 (1977), 433–450.CrossRefGoogle Scholar
[2]Barr, Michael, “Coequalizers and free triples”, Math. Z. 116 (1970), 307–322.CrossRefGoogle Scholar
[3]Barr, Michael, “Coequalizers and free triples, II” (Manuscript, McGill University, Montreal, 1979).Google Scholar
[4]Blackwell, R., “Some existence theorems in the theory of doctrines” (PhD thesis, University of New South Wales, Kensington, 1976).Google Scholar
[5]Bousfield, A.K., “Construction of factorization systems in categories”, J. Pure Appl. Algebra 9 (1977), 207–220.CrossRefGoogle Scholar
[6]Dubuc, Eduardo J., “Free monoids”, J. Algebra 29 (1974), 208–228.CrossRefGoogle Scholar
[7]Freyd, P.J. and Kelly, G.M., “Categories of continuous functors, I”, J. Pure Appl. Algebra 2 (1972), 169–191; Erratum, J. Pure Appl. Algebra 4 (1974), 121.CrossRefGoogle Scholar
[8]Gabriel, Peter, Ulmer, Friedrich, Lokal präsentierbare Kategorien (Lecture Notes in Mathematics, 221. Springer-Verlag, Berlin, Heidelberg, New York, 1971).CrossRefGoogle Scholar
[9]Kelly, G. Max, “Quelques observations sur les démonstrations par récurrence transfinie en algèbre catégorique”, Cahiers Topologie Géom. Différentielle 16 (1975), 259–263.Google Scholar
[10]Kelly, G.M. and Street, Ross, “Review of the elements of 2-categories”, Category Seminar, 75–103 (Proc. Sydney Category Theory Seminar, 1972/1973. Lecture Notes in Mathematics, 420. Springer-Verlag, Berlin, Heidelberg, New York, 1974).CrossRefGoogle Scholar
[11]Koubek, Václav, “Constructions of continuous functors” (Manuscript, Charles University, Prague, 1978).Google Scholar
[12]Koubek, Václav, Reiterman, Jan, “Automata and categories – input processes”, Mathematical foundations of computer science, 280–286 (4th Symposium, Mariánské Laźně, 1975. Lecture Notes in Computer Science, 32. Springer-Verlag, Berlin, Heidelberg, New York, 1975).Google Scholar
[13]Koubek, Václav and Reiterman, Jan, “Categorical constructions of free algebras, colimits, and completions of partial algebras”, J. Pure Appl. Algebra 14 (1979), 195–231.CrossRefGoogle Scholar
[14]Kurková-Pohlová, Ve˘ra, Koubek, Václav, “When a generalized algebraic category is monadic”, Comment. Math. Univ. Carolin. 15 (1974), 577–587.Google Scholar
[15]Reiterman, Jan., “A left adjoint construction related to free triples”, J. Pure Appl. Algebra 10 (1977), 57–71.CrossRefGoogle Scholar
[16]Schubert, Horst, Categories (translated by Gray, Eva. Springer-Verlag, Berlin, Heidelberg, New York, 1972).CrossRefGoogle Scholar
[17]Wolff, Harvey, “Free monads and the orthogonal subcategory problem”, J. Pure Appl. Algebra 13 (1978), 233–242.CrossRefGoogle Scholar