Abstract
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.
Publisher
Cambridge University Press (CUP)
Reference9 articles.
1. Machines in a Category: An Expository Introduction
2. [6] Koubek Václav , Reiterman Jan , “Categorical constructions of free algebras, colimits and completions of partial algebras”, submitted.
3. Algebras and automata over a functor;Adámek;Kibernetika
4. Coequalizers and free triples
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献