Accessible set functors are universal

DOI10.14712/1213-7243.2019.028OpenAlexW3007521915MaRDI QIDQ5218970

Libor Barto

Publication date: 6 March 2020

Published in: Commentationes Mathematicae Universitatis Carolinae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1909.04875

zbMATH Keywords

full embeddinguniversal categoryset functor

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Special properties of functors (faithful, full, etc.) (18A22) Embedding theorems, universal categories (18B15) Functor categories, comma categories (18A25)

Related Items (1)

How nice are free completions of categories?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finitary set endofunctors are alg-universal
• The category of varieties and interpretations is alg-universal
• A new proof of the Freyd's theorem
• Concreteness
• Universal coalgebra: A theory of systems
• The wonderland of reflections
• Some universal properties of the category of clones.
• On full embeddings of categories of algebras
• Every category is a factorization of a concrete one
• Presentation of Set Functors: A Coalgebraic Perspective
• The lattice of interpretability types of varieties
• From Varieties of Algebras to Covarieties of Coalgebras
• Algebraic approach to promise constraint satisfaction
• Two set-theoretical theorems in categories

This page was built for publication: Accessible set functors are universal