Zobrazeno 1 - 10
of 319
pro vyhledávání: '"Adámek, Jiří"'
Autor:
Adamek, Jiri
Classical varieties were characterized by Lawvere as the categories with effective congruences and a varietal generator: an abstractly finite regular generator which is regularly projective (its hom-functor preserves regular epimorphisms). We charact
Externí odkaz:
http://arxiv.org/abs/2402.14662
Autor:
Adamek, Jiri
Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous characterization of
Externí odkaz:
http://arxiv.org/abs/2402.14557
Autor:
Adámek, Jirí, Sousa, Lurdes
Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is proved to b
Externí odkaz:
http://arxiv.org/abs/2311.14965
The Vietoris space of compact subsets of a given Hausdorff space yields an endofunctor $\mathscr V$ on the category of Hausdorff spaces. Vietoris polynomial endofunctors on that category are built from $\mathscr V$, the identity and constant functors
Externí odkaz:
http://arxiv.org/abs/2303.11071
Quillen's notion of small object and the Gabriel-Ulmer notion of finitely presentable or generated object are fundamental in homotopy theory and categorical algebra. Do these notions always lead to rather uninteresting classes of objects in categorie
Externí odkaz:
http://arxiv.org/abs/2302.00050
We characterize strongly finitary monads on categories $\mathsf{Pos}$, $\mathsf{CPO}$ and $\mathsf{DCPO}$ as precisely those preserving sifted colimits. Or, equivalently, enriched finitary monads preserving reflexive coinserters. We study sifted coli
Externí odkaz:
http://arxiv.org/abs/2301.05730
Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative algebras pr
Externí odkaz:
http://arxiv.org/abs/2301.01034