Algebra universalis

, Volume 57, Issue 1, pp 15–26 | Cite as

Finitary set endofunctors are alg-universal

  • Libor Barto


A category is said to be alg-universal, if every category of universal algebras can be fully embedded into it. We prove here that the category of finitary endofunctors of the category Set is alg-universal. We also present an example of a proper class of accessible set functors with no natural transformations between them (except the obvious identities).

2000 Mathematics Subject Classification:

Primary: 18B15 Secondary: 08B99 

Keywords and phrases:

Alg-universal category Set functor Rigid class 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag, Basel 2007

Authors and Affiliations

  1. 1.Department of AlgebraCharles UniversityPrague 8Czech Republic

Personalised recommendations