Finitary set endofunctors are alg-universal
- 25 Downloads
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.