Learn More
Inÿnite trees form a free completely iterative theory over any given signature—this fact, proved by Elgot, Bloom and Tindell, turns out to be a special case of a much more general categorical result exhibited in the present paper. We prove that whenever an endofunctor H of a category has ÿnal coalgebras for all functors H () + X , then those coalgebras, TX(More)
A concept of equation morphism is introduced for every endofuctor F of a cocomplete category C. Equationally defined classes of F –algebras for which free algebras exist are called varieties. Every variety is proved to be monadic over C, and conversely, every monadic category is equivalent to a variety. And the Birkhoff Variety Theorem is proved for "(More)