3 citations · 6 across the 3 of their papers we have counts for
6 papers · 1 filter
Reiterman's Theorem on Finite Algebras for a Monad
Jiri Adamek, Liang-Ting Chen, Stefan Milius +1
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e.~cla…
Finitary Monads on the Category of Posets
Jiří Adámek, Chase Ford, Stefan Milius +1
Finitary monads on are characterized as the precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequation…
On Finitary Functors
Jiří Adámek, Stefan Milius, Lurdes Sousa +1
A simple criterion for a functor to be finitary is presented: we call finitely bounded if for all objects every finitely generated subobject of factorizes through the…
Colimit-Dense Subcategories
J. Adámek, A. Brooke-Taylor, T. Campion +2
Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vop{ě}nka's Principle, we prov…
On reflective subcategories of locally presentable categories
Jiri Adamek, Jiri Rosicky
Are all subcategories of locally finitely presentable categories that are closed under limits and -filtered colimits also locally presentable? For full subcategories the answer…
A Logic of Injectivity
J. Adamek, M. Hebert, L. Souza
Injectivity of objects with respect to a set of morphisms is an important concept of algebra, model theory and homotopy theory. Here we study the logic of injectivity consequ…