arXiv subjects

Jiří Rosický

Publications and source records attributed to Jiří Rosický.

33 records · Page 2Linked to original sources

arXiv2021

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.

math.CT↗

arXiv2021

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.

math.CT↗

arXiv2020

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.

math.CT↗

arXiv2020

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.

math.CT↗

arXiv2019

Sizes and filtrations in accessible categories

Accessible categories admit a purely category-theoretic replacement for cardinality: the internal size. Generalizing results and methods from arXiv:1708.06782, we examine set-theoretic problems related to internal sizes and prove several Löwenheim-Skolem theorems for accessible categories. For example, assuming the singular cardinal hypothesis, we show that a large accessible category has an object in all internal sizes of high-enough cofinality. We also prove that accessible categories with directed colimits have filtrations: any object of sufficiently high internal size is (the retract of) a colimit of a chain of strictly smaller objects.

math.LO↗

arXiv2019

How nice are free completions of categories?

Every category $\mathcal K$ has a free completion $\mathcal P \mathcal K$ under colimits and a free completion $Σ\mathcal K$ under coproducts. A number of properties of $\mathcal K$ transfer to $\mathcal P \mathcal K$ and $Σ\mathcal K$ (e.g., completeness or cartesian closedness). We prove that $\mathcal P\mathcal K$ is always a pretopos, but, for $\mathcal K$ large, seldom a topos. Moreover, for complete categories $\mathcal K$ we prove that $\mathcal P\mathcal K$ is locally cartesian closed whenever $\mathcal K$ is additive or cartesian closed or dual to an extensive category. We also study the question whether $\mathcal P \mathcal K$ is (co)wellpowered. The answer is affirmative for "set-like" categories. But for a number of categories $\mathcal K$ the answer turns out to be negative.

math.CT↗

arXiv2019

Forking independence from the categorical point of view

Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, category-theoretic terms, for reasons both practical (we require a characterization suitable for work in $μ$-abstract elementary classes, i.e. accessible categories with all morphisms monomorphisms) and expository (we hope, with this account, to make forking accessible - and useful - to a broader mathematical audience). In particular, we present an axiomatic definition of what we call a stable independence notion on a category and show that this is in fact a purely category-theoretic axiomatization of the properties of model-theoretic forking in a stable first-order theory.

math.LO↗

arXiv2019

Internal sizes in $μ$-abstract elementary classes

Working in the context of $μ$-abstract elementary classes ($μ$-AECs) - or, equivalently, accessible categories with all morphisms monomorphisms - we examine the two natural notions of size that occur, namely cardinality of underlying sets and internal size. The latter, purely category-theoretic, notion generalizes e.g. density character in complete metric spaces and cardinality of orthogonal bases in Hilbert spaces. We consider the relationship between these notions under mild set-theoretic hypotheses, including weakenings of the singular cardinal hypothesis. We also establish preliminary results on the existence and categoricity spectra of $μ$-AECs, including specific examples showing dramatic failures of the eventual categoricity conjecture (with categoricity defined using cardinality) in $μ$-AECs.

math.LO↗

arXiv2018

Universal abstract elementary classes and locally multipresentable categories

We exhibit an equivalence between the model-theoretic framework of universal classes and the category-theoretic framework of locally multipresentable categories. We similarly give an equivalence between abstract elementary classes (AECs) admitting intersections and locally polypresentable categories. We use these results to shed light on Shelah's presentation theorem for AECs.

math.LO↗

arXiv2018

On the uniqueness of cellular injectives

A. Avilés and C. Brech proved a intriguing result about the existence and uniqueness of certain injective Boolean algebras or Banach spaces. Their result refines the standard existence and uniqueness of saturated models. They express a wish to obtain a unified approach in the context of category theory. We provide this in the framework of weak factorization systems. Our basic tool is the fat small object argument.

math.CT↗

arXiv2016

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.

math.CT↗

arXiv2016

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.

math.CT↗

arXiv2013

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.

math.CT↗

arXiv2012

Are all localizing subcategories of stable homotopy categories coreflective?

We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopenka's principle) is assumed true. It follows that, under the same assumptions, orthogonality sets up a bijective correspondence between localizing subcategories and colocalizing subcategories. The existence of such a bijection was left as an open problem by Hovey, Palmieri and Strickland in their axiomatic study of stable homotopy categories and also by Neeman in the context of well-generated triangulated categories.

math.CT↗

arXiv2011

Class-combinatorial model categories

We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The definition of the new class of model categories is based on the corresponding extension of the theory of locally presentable and accessible categories developed in the companion paper [arXiv:1110.0605], where we introduced the concepts of locally class-presentable and class-accessible categories. In this work we prove that the category of weak equivalences of a nice class-combinatorial model category is class-accessible. Our extension of J. Smith localization theorem depends on the verification of a cosolution-set condition. The deepest result is that the (left Bousfield) localization of a class-combinatorial model category with respect to a strongly class-accessible localization functor is class-combinatorial again.

math.AT↗