A category is said to be alg-universal, if every category of universal algebras can be fully embedded into it. The author proves that the category of finitary endofunctors of the category \({\mathcal S}et\) is alg-universal. Also, he presents an example of a proper class of accessible set functors with no natural transformations between them (except the obvious identities).
Recommendations
Cited in
(14)- Algebraic functor slices
- On full and faithful Kan extensions
- How accessible are categories of algebras?
- The Calkin algebra is _1-universal
- scientific article; zbMATH DE number 436451 (Why is no real title available?)
- Fixed Points as Equations and Solutions
- Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets
- scientific article; zbMATH DE number 4075147 (Why is no real title available?)
- Universality of categories of coalgebras
- Accessible set functors are universal
- scientific article; zbMATH DE number 2242853 (Why is no real title available?)
- On universal categories of coalgebras
- Universal slices of the category of graphs
- The category of varieties and interpretations is alg-universal
This page was built for publication: Finitary set endofunctors are alg-universal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995376)
