Source author record

Jiří Rosický

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CT math.LO math.FA math.AT math.GR math.OA math.RA

Catalog footprint

Research overview

11works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

On the abstract elementary class of acts with embeddings

We study the class of acts with embeddings as an abstract elementary class. We show that the class is always stable and show that superstability in the class is characterized algebraically via weakly noetherian monoids. The study of these model-theoretic notions and limit models lead us to introduce parametized weakly noetherian monoids and find a characterization of them via parametrized injective acts. Furthermore, we obtain a characterization of weakly noetherian monoids via absolutely pure acts extending a classical result of ring theory. The paper is aimed at algebraists and model theorists so an effort was made to provide the background for both.

preprint2022arXiv

Cellular categories and stable independence

We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories (those where, in a precise sense, the cellular morphisms are generated by a set) are exactly those that give rise to stable independence notions. We give two applications: on the one hand, we show that the abstract elementary classes of roots of Ext studied by Baldwin-Eklof-Trlifaj are stable and tame. On the other hand, we give a simpler proof (in a special case) that combinatorial categories are closed under 2-limits, a theorem of Makkai and Rosický.

preprint2022arXiv

Hilbert spaces and ${C}^\ast$ -algebras are not finitely concrete

We show that no faithful functor from the category of Hilbert spaces with linear isometries into the category of sets preserves directed colimits. Thus Hilbert spaces cannot form an abstract elementary class, even up to change of language. We deduce an analogous result for the category of commutative unital $C^\ast$ -algebras with $\ast$ -homomorphisms. This implies, in particular, that this category is not axiomatizable by a first-order theory, a strengthening of a conjecture of Bankston.

preprint2021arXiv

Approximate injectivity and smallness in metric-enriched categories

Properties of categories enriched over the category of metric spaces are investigated and applied to a study of constructions known from that category and the category of Banach spaces. For every class of morphisms satisfying a mild smallness condition we prove the corresponding approximate-injectivity class is weakly reflective, and we study the properties of the reflection morphisms. As an application we present a new categorical proof of the essential uniqueness of the Gurarii space.

preprint2021arXiv

Are Banach spaces monadic?

We will show that Banach spaces are monadic over complete metric spaces via the unit ball functor. For the forgetful functor, one should take complete pointed metric spaces.

preprint2021arXiv

Metric monads

We develop universal algebra over an enriched category $\mathcal K$ and relate it to finitary enriched monads over $\mathcal K$ . Using it, we deduce recent results about ordered universal algebra where inequations are used instead of equations. Then we apply it to metric universal algebra where quantitative equations are used instead of equations. This contributes to understanding of finitary monads on the category of metric spaces.

preprint2020arXiv

Minimal accessible categories

We give a purely category-theoretic proof of the result of Makkai and Paré saying that the category $\bf Lin$ of linearly ordered sets and order preserving injective mappings is a minimal finitely accessible category. We also discuss the existence of a minimal $\aleph_1$ -accessible category.

preprint2020arXiv

Remarks on combinatorial and accessible model categories

Using full images of accessible functors, we prove some results about combinatorial and accessible model categories. In particular, we give an example of a weak factorization system on a locally presentable category which is not accessible.

preprint2016arXiv

Accessible images revisited

We extend and improve the result of Makkai and Paré that the powerful image of any accessible functor F is accessible, assuming there exists a sufficiently large strongly compact cardinal. We reduce the required large cardinal assumption to the existence of $L_{μ,ω}$ -compact cardinals for sufficiently large μ, and also show that under this assumption the λ-pure powerful image of F is accessible. From the first of these statements, we obtain that the tameness of every Abstract Elementary Class follows from a weaker large cardinal assumption than was previously known. We provide two ways of employing the large cardinal assumption to prove each result - one by a direct ultraproduct construction and one using the machinery of elementary embeddings of the set-theoretic universe.

preprint2016arXiv

Definable Categories

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are precisely the finite-injectivity classes. We prove a $2$ -duality between the $2$ -category of small exact categories and the $2$ -category of definable categories, and provide a new proof of its additive version. We further introduce a third vertex of the $2$ -category of regular toposes and show that the diagram of $2$ -(anti-)equivalences between three $2$ -categories commutes, the corresponding additive triangle is well-known.

preprint2013arXiv

On a fat small object argument

Good colimits introduced by J. Lurie generalize transfinite composites and provide an important tool for understanding cofibrant generation in locally presentable categories. We will explore the relation of good colimits to transfinite composites further and show, in particular, how they eliminate the use of large objects in the usual small object argument.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jiří Rosický

Research overview

Is this your work?

11 publications

On the abstract elementary class of acts with embeddings

Cellular categories and stable independence

Hilbert spaces and ${C}^\ast$ -algebras are not finitely concrete

Approximate injectivity and smallness in metric-enriched categories

Are Banach spaces monadic?

Metric monads

Minimal accessible categories

Remarks on combinatorial and accessible model categories

Accessible images revisited

Definable Categories

On a fat small object argument

See the researcher in context

Building this map preview

Jiří Rosický

Research overview

Is this your work?

11 publications

On the abstract elementary class of acts with embeddings

Cellular categories and stable independence

Hilbert spaces and C∗{C}^\astC∗-algebras are not finitely concrete

Approximate injectivity and smallness in metric-enriched categories

Are Banach spaces monadic?

Metric monads

Minimal accessible categories

Remarks on combinatorial and accessible model categories

Accessible images revisited

Definable Categories

On a fat small object argument

See the researcher in context

Building this map preview

Hilbert spaces and ${C}^\ast$ -algebras are not finitely concrete