Showing 1–50 of 68 results for author: Rosický, J

Enriched concepts of regular logic

Authors: Jiří Rosický, Giacomo Tendas

Abstract: Building on our previous work on enriched universal algebra, we define a notion of enriched language consisting of function and relation symbols whose arities are objects of the base of enrichment. In this context, we construct atomic formulas and define the regular fragment of enriched logic by taking conjunctions and existential quantifications of those. We then characterize enriched categories… ▽ More Building on our previous work on enriched universal algebra, we define a notion of enriched language consisting of function and relation symbols whose arities are objects of the base of enrichment. In this context, we construct atomic formulas and define the regular fragment of enriched logic by taking conjunctions and existential quantifications of those. We then characterize enriched categories of models of regular theories as enriched injectivity classes in the enriched category of structures. These notions rely on the choice of a factorization system on the base of enrichment which will be used to interpret relation symbols and existential quantifications. △ Less

Submitted 19 June, 2024; v1 submitted 18 June, 2024; originally announced June 2024.

Comments: 39 pages

Unstable independence from the categorical point of view

Authors: Mark Kamsma, Jiri Rosický

Abstract: We give a category-theoretic construction of simple and NSOP$_1$-like independence relations in locally finitely presentable categories, and in the more general locally finitely multipresentable categories. We do so by identifying properties of a class of monomorphisms $\mathcal{M}$ such that the pullback squares consisting of morphisms in $\mathcal{M}$ form the desired independence relation. This… ▽ More We give a category-theoretic construction of simple and NSOP$_1$-like independence relations in locally finitely presentable categories, and in the more general locally finitely multipresentable categories. We do so by identifying properties of a class of monomorphisms $\mathcal{M}$ such that the pullback squares consisting of morphisms in $\mathcal{M}$ form the desired independence relation. This generalizes the category-theoretic construction of stable independence relations using effective unions or cellular squares by M. Lieberman, S. Vasey and the second author to the unstable setting. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Comments: 32 pages

Enriched universal algebra

Authors: Jiří Rosický, Giacomo Tendas

Abstract: Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment $\mathcal V$, we define a language $\mathbb L$ to be a collection of $(X,Y)$-ary function symbols whose arities are taken among the objects of $\mathcal V$. The class of $\mathbb L$-terms is constructed recursively from the symbols of $\mathbb L$, the morp… ▽ More Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment $\mathcal V$, we define a language $\mathbb L$ to be a collection of $(X,Y)$-ary function symbols whose arities are taken among the objects of $\mathcal V$. The class of $\mathbb L$-terms is constructed recursively from the symbols of $\mathbb L$, the morphisms in $\mathcal V$, and by incorporating the monoidal structure of $\mathcal V$. Then, $\mathbb L$-structures and interpretations of terms are defined, leading to enriched equational theories. In this framework we characterize algebras for finitary monads on $\mathcal V$ as models of an equational theories. △ Less

Submitted 15 June, 2024; v1 submitted 18 October, 2023; originally announced October 2023.

Comments: Changes in Section 4, some proofs and other results moved to the appendix

MSC Class: 18D20; 03C05; 18C05; 18C15

Relative injective modules, superstability and noetherian categories

Authors: Marcos Mazari-Armida, Jiri Rosicky

Abstract: We study classes of modules closed under direct sums, $\mathcal{M}$-submodules and $\mathcal{M}$-epimorphic images where $\mathcal{M}$ is either the class of embeddings, $RD$-embeddings or pure embeddings. We show that the $\mathcal{M}$-injective modules of theses classes satisfy a Baer-like criterion. In particular, injective modules, $RD$-injective modules, pure injective modules, flat cotorsi… ▽ More We study classes of modules closed under direct sums, $\mathcal{M}$-submodules and $\mathcal{M}$-epimorphic images where $\mathcal{M}$ is either the class of embeddings, $RD$-embeddings or pure embeddings. We show that the $\mathcal{M}$-injective modules of theses classes satisfy a Baer-like criterion. In particular, injective modules, $RD$-injective modules, pure injective modules, flat cotorsion modules and $\mathfrak{s}$-torsion pure injective modules satisfy this criterion. The argument presented is a model theoretic one. We use in an essential way stable independence relations which generalize Shelah's non-forking to abstract elementary classes. We show that the classical model theoretic notion of superstability is equivalent to the algebraic notion of a noetherian category for these classes. We use this equivalence to characterize noetherian rings, pure semisimple rings, perfect rings and finite products of finite rings and artinian valuation rings via superstability. △ Less

Submitted 30 May, 2024; v1 submitted 4 August, 2023; originally announced August 2023.

Comments: 25 pages

MSC Class: Primary: 03C48; 13L05. Secondary: 03C45; 03C60; 16D50; 16B70; 16D10; 18G05

Notions of enriched purity

Authors: Jiří Rosický, Giacomo Tendas

Abstract: We introduce the enriched notions of purity depending on the left class $\mathcal E$ of a factorization system on the base $\mathcal V$ of enrichment. The ordinary purity is given by the class of surjective map**s in the category of sets. Under specific assumptions, covering enrichment over quantale-valued metric spaces, $ω$-complete posets, and quasivarieties, we characterize the… ▽ More We introduce the enriched notions of purity depending on the left class $\mathcal E$ of a factorization system on the base $\mathcal V$ of enrichment. The ordinary purity is given by the class of surjective map**s in the category of sets. Under specific assumptions, covering enrichment over quantale-valued metric spaces, $ω$-complete posets, and quasivarieties, we characterize the $(λ,\mathcal E)$-injectivity classes of locally presentable $\mathcal V$-categories in terms of closure under a class of limits, $λ$-filtered colimits, and $(λ,\mathcal E)$-pure subobjects. △ Less

Submitted 5 March, 2024; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: Expanded Examples 3.4 and 5.2, while Section 7 is new

MSC Class: 18D20; 18A32; 18F75; 18G35

Smallness in Topology

Authors: Jiri Adamek, Miroslav Husek, Jiri Rosicky, Walter Tholen

Abstract: 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 categories of topological spaces, such as all finite discrete spaces, or just the empty space, as the examples and remarks in the existing literature may sugge… ▽ More 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 categories of topological spaces, such as all finite discrete spaces, or just the empty space, as the examples and remarks in the existing literature may suggest? This article demonstrates that the establishment of full characterizations of these notions (and some natural variations thereof) in many familiar categories of spaces can be quite challenging and may lead to unexpected surprises. In fact, we show that there are significant differences in this regard even amongst the categories defined by the standard separation axioms, with the T1-separation condition standing out. The findings about these specific categories lead us to insights also when considering rather arbitrary full reflective subcategories of the category of all topological spaces. △ Less

Submitted 31 January, 2023; originally announced February 2023.

Comments: 34 pages

MSC Class: 54B99; 18B30; 54D10

Enriched purity and presentability in Banach spaces

Authors: Jiří Rosický

Abstract: The category $Ban$ of Banach spaces and linear maps of norm $\leq 1$ is locally $\aleph_1$-presentable but not locally finitely presentable. We prove, however, that $Ban$ is locally finitely presentable in the enriched sense over complete metric spaces. Moreover, in this sense, pure morphisms are just ideals of Banach spaces. We characterize classes of Banach spaces approximately injective to sets… ▽ More The category $Ban$ of Banach spaces and linear maps of norm $\leq 1$ is locally $\aleph_1$-presentable but not locally finitely presentable. We prove, however, that $Ban$ is locally finitely presentable in the enriched sense over complete metric spaces. Moreover, in this sense, pure morphisms are just ideals of Banach spaces. We characterize classes of Banach spaces approximately injective to sets of morphisms having finite-dimensional domains and separable codomains. △ Less

Submitted 15 June, 2023; v1 submitted 17 June, 2022; originally announced June 2022.

Comments: a revised version, 27 pages

Discrete equational theories

Authors: Jiří Rosický

Abstract: We introduce discrete equational theories where operations are induced by those having discrete arities. We characterize the corresponding monads as monads preserving surjections. Using it, we prove Birkhoff type theorems for categories of algebras of discrete theories. This extends known results from metric spaces to general symmetric monoidal closed categories. We introduce discrete equational theories where operations are induced by those having discrete arities. We characterize the corresponding monads as monads preserving surjections. Using it, we prove Birkhoff type theorems for categories of algebras of discrete theories. This extends known results from metric spaces to general symmetric monoidal closed categories. △ Less

Submitted 11 January, 2024; v1 submitted 6 April, 2022; originally announced April 2022.

Comments: an updated and corrected version, 17 pages

Fibrantly generated weak factorization systems

Authors: Sean Cox, Jiří Rosický

Abstract: We prove that, assuming Vop\venka's principle, every small projectivity class in a locally presentable category is accessible. We prove that, assuming Vop\venka's principle, every small projectivity class in a locally presentable category is accessible. △ Less

Submitted 2 June, 2022; v1 submitted 18 January, 2022; originally announced January 2022.

Comments: 11 pages

Varieties of ordered algebras as categories

Authors: Jiří Adámek, Jiří Rosický

Abstract: A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere's classical characterization of varieties of ordinary algebras. We also prove that varieties of ordered algebras are precisely the free completions of duals of discrete La… ▽ More A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere's classical characterization of varieties of ordinary algebras. We also prove that varieties of ordered algebras are precisely the free completions of duals of discrete Lawvere theories under sifted colimits. △ Less

Submitted 31 March, 2023; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: revised version, 29 pages

Journal ref: Alg. Univ. 84:9 (2023)

Metric monads

Authors: JIří Rosický

Abstract: 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 mona… ▽ More 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. △ Less

Submitted 4 August, 2021; v1 submitted 29 December, 2020; originally announced December 2020.

Comments: 22 pages, an improved version

Journal ref: Math. Struct. Comp. Sci. 31 (2021), 535-552

Induced and higher-dimensional stable independence

Authors: Michael Lieberman, Jiri Rosicky, Sebastien Vasey

Abstract: We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory to a category as a whole, and examine a number of applications to categories of groups and modules, extending results of [MAa]. We prove, too, that under the hyp… ▽ More We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory to a category as a whole, and examine a number of applications to categories of groups and modules, extending results of [MAa]. We prove, too, that under the hypotheses of [LRV], a stable independence notion immediately yields higher-dimensional independence as in [SV]. △ Less

Submitted 30 August, 2022; v1 submitted 27 November, 2020; originally announced November 2020.

MSC Class: 18C35; 03C45; 03C48; 03C52; 13L05; 16B50

Are Banach spaces monadic?

Authors: Jiří Rosický

Abstract: 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. 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. △ Less

Submitted 13 May, 2021; v1 submitted 15 November, 2020; originally announced November 2020.

Comments: 8 pages, the proof of Theorem 4.1 was corrected

Journal ref: Comm. Alg. 50 (2022), 268-274

Enriched Locally Generated Categories

Authors: Ivan Di Liberti, Jiří Rosický

Abstract: We introduce the notion of $\mathcal{M}$-locally generated category for a factorization system $(\mathcal{E},\mathcal{M})$ and study its properties. We offer a Gabriel-Ulmer duality for these categories, introducing the notion of nest. We develop this theory also from an enriched point of view. We apply this technology to Banach spaces showing that it is equivalent to the category of models of the… ▽ More We introduce the notion of $\mathcal{M}$-locally generated category for a factorization system $(\mathcal{E},\mathcal{M})$ and study its properties. We offer a Gabriel-Ulmer duality for these categories, introducing the notion of nest. We develop this theory also from an enriched point of view. We apply this technology to Banach spaces showing that it is equivalent to the category of models of the nest of finite-dimensional Banach spaces. △ Less

Submitted 2 March, 2022; v1 submitted 23 September, 2020; originally announced September 2020.

Comments: Comments are welcome! v2: very mild update. 2.9 and 2.10 are new examples

Minimal accessible categories

Authors: Jiří Rosický

Abstract: 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 map**s is a minimal finitely accessible category. We also discuss the existence of a minimal $\aleph_1$-accessible category. 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 map**s is a minimal finitely accessible category. We also discuss the existence of a minimal $\aleph_1$-accessible category. △ Less

Submitted 20 July, 2020; originally announced July 2020.

Comments: 7 pages

Journal ref: Th. Appl. Categ. 36 (2021), 280-287

Are chain-complete posets co-wellpowered?

Authors: Jan Jurka, Jiří Rosický

Abstract: We show that the category of chain-complete posets is co-wellpowered, which corrects the previous version. We show that the category of chain-complete posets is co-wellpowered, which corrects the previous version. △ Less

Submitted 27 August, 2023; v1 submitted 5 July, 2020; originally announced July 2020.

Comments: 4 pages

Remarks on combinatorial and accessible model categories

Authors: Jiří Rosický

Abstract: 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. 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. △ Less

Submitted 5 June, 2020; originally announced June 2020.

Comments: 8 pages

Journal ref: Th. Appl. Categ. 37 (2021), 266-275

Approximate injectivity and smallness in metric-enriched categories

Authors: Jiří Adámek, Jiří Rosický

Abstract: 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 appli… ▽ More 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. △ Less

Submitted 12 October, 2021; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: 36 pages

MSC Class: 18C35; 18D20; 46M10

Journal ref: J. Pure Appl. Alg. 226 (2022), 106974

Cofibrant generation of pure monomorphisms

Authors: Michael Lieberman, Leonid Positselski, Jiri Rosicky, Sebastien Vasey

Abstract: We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any category of $R$-modules. We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any category of $R$-modules. △ Less

Submitted 15 January, 2020; v1 submitted 7 January, 2020; originally announced January 2020.

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

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: 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 categor… ▽ More 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. △ Less

Submitted 30 August, 2022; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: 8 pages

MSC Class: 18C35 (Primary); 46L05; 46M99 (Secondary)

Cellular categories and stable independence

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: 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 app… ▽ More 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ý. △ Less

Submitted 1 April, 2022; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 22 pages

MSC Class: 18C35 (Primary); 03C45; 03C48; 03C52; 03C55; 16B50; 16B60; 55U35 (Secondary)

Sizes and filtrations in accessible categories

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: 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 objec… ▽ More 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. △ Less

Submitted 5 June, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: 27 pages

MSC Class: 18C35 (Primary); 03C45; 03C48 03C52; 03C55; 03C75; 03E05 (Secondary)

Colimit-Dense Subcategories

Authors: J. Adámek, A. Brooke-Taylor, T. Campion, L. Positselski, J. Rosický

Abstract: 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 prove that a cocomplete category is locally presentable iff it has a colimit dense subcategory and a generator consisting of presentable objects. We further show that a $3$-element set is colimit-dense in $\Set^{\op}$, and s… ▽ More 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 prove that a cocomplete category is locally presentable iff it has a colimit dense subcategory and a generator consisting of presentable objects. We further show that a $3$-element set is colimit-dense in $\Set^{\op}$, and spaces of countable dimension are colimit-dense in $\Vec^{op}$. △ Less

Submitted 27 December, 2018; originally announced December 2018.

Journal ref: Comment. Math. Univ. Carol. 60 (2019), 447-462

Tameness in generalized metric structures

Authors: Michael Lieberman, Jiri Rosicky, Pedro Zambrano

Abstract: We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano on (metric) tameness under a large cardinal assumption holds in this more general context. We briefly consider a further generalization to partial metric spaces… ▽ More We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano on (metric) tameness under a large cardinal assumption holds in this more general context. We briefly consider a further generalization to partial metric spaces, and hint at connections to classes of fuzzy structures, and structures on sheaves. △ Less

Submitted 8 September, 2022; v1 submitted 4 October, 2018; originally announced October 2018.

MSC Class: 03C95; 03C48; 03E55; 18C35

How nice are free completions of categories?

Authors: Jiří Adámek, Jiří Rosický

Abstract: 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… ▽ More 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. △ Less

Submitted 6 April, 2019; v1 submitted 7 June, 2018; originally announced June 2018.

Journal ref: Top. Appl. 273 (2020), 106972

Forking independence from the categorical point of view

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: 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 hop… ▽ More 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. △ Less

Submitted 1 February, 2019; v1 submitted 26 January, 2018; originally announced January 2018.

Comments: 50 pages

MSC Class: 03C45 (Primary); 18C35; 03C48; 03C52; 03C55; 03C75; 03E55 (Secondary)

Journal ref: Advances in Mathematics 346 (2019), 719-772

Nearly locally presentable categories

Authors: Leonid Positselski, Jiri Rosicky

Abstract: We introduce a new class of categories generalizing locally presentable ones. The distinction does not manifest in the abelian case and, assuming Vopenka's principle, the same happens in the regular case. The category of complete partial orders is the natural example of a nearly locally finitely presentable category which is not locally presentable. We introduce a new class of categories generalizing locally presentable ones. The distinction does not manifest in the abelian case and, assuming Vopenka's principle, the same happens in the regular case. The category of complete partial orders is the natural example of a nearly locally finitely presentable category which is not locally presentable. △ Less

Submitted 2 April, 2018; v1 submitted 28 October, 2017; originally announced October 2017.

Comments: 12 pages; v.2: title changed, a section on nearly presentable objects added, many other additions and improvements

Journal ref: Theory and Appl. of Categories 33 (2018), #10, p.253-264

Internal sizes in $μ$-abstract elementary classes

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: 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… ▽ More 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. △ Less

Submitted 31 January, 2019; v1 submitted 22 August, 2017; originally announced August 2017.

Comments: 27 pages

MSC Class: 03C48 (Primary); 18C35; 03C45; 03C52; 03C55; 03C75; 03E04; 03E5518C35; 03C52; 03C55; 03C75 (Secondary)

Journal ref: Journal of Pure and Applied Algebra 223 (2019), no. 10, 4560-4582

Universal abstract elementary classes and locally multipresentable categories

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: 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. 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. △ Less

Submitted 12 July, 2018; v1 submitted 27 July, 2017; originally announced July 2017.

Comments: 14 pages. Some typos removed

MSC Class: 03C48 (Primary); 18C35; 03C52; 03C55; 03C75 (Secondary)

Journal ref: Proceedings of the American Mathematical Society 147 (2019), no. 3, 1283-1298

Small presentations of model categories and Vopěnka's principle

Authors: G. Raptis, J. Rosický

Abstract: We prove existence results for small presentations of model categories generalizing a theorem of D. Dugger from combinatorial model categories to more general model categories. Some of these results are shown under the assumption of Vopěnka's principle. Our main theorem applies in particular to cofibrantly generated model categories where the domains of the generating cofibrations satisfy a slight… ▽ More We prove existence results for small presentations of model categories generalizing a theorem of D. Dugger from combinatorial model categories to more general model categories. Some of these results are shown under the assumption of Vopěnka's principle. Our main theorem applies in particular to cofibrantly generated model categories where the domains of the generating cofibrations satisfy a slightly stronger smallness condition. As a consequence, assuming Vopěnka's principle, such a cofibrantly generated model category is Quillen equivalent to a combinatorial model category. Moreover, if there are generating sets which consist of presentable objects, then the same conclusion holds without the assumption of Vopěnka's principle. We also correct a mistake from previous work that made similar claims. △ Less

Submitted 16 October, 2017; v1 submitted 23 March, 2017; originally announced March 2017.

Comments: 25 pages; minor changes. Final version; to appear in HHA

On the uniqueness of cellular injectives

Authors: Jiří Rosický

Abstract: 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… ▽ More 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. △ Less

Submitted 11 March, 2018; v1 submitted 28 February, 2017; originally announced February 2017.

Journal ref: Math. Proc. Cambr. Phil. Soc. 167 (2019), 489-504

Combinatorial homotopy categories

Authors: Carles Casacuberta, Jiri Rosicky

Abstract: A model category is called combinatorial if it is cofibrantly generated and its underlying category is locally presentable. As shown in recent years, homotopy categories of combinatorial model categories share useful properties, such as being well generated and satisfying a very general form of Ohkawa's theorem. A model category is called combinatorial if it is cofibrantly generated and its underlying category is locally presentable. As shown in recent years, homotopy categories of combinatorial model categories share useful properties, such as being well generated and satisfying a very general form of Ohkawa's theorem. △ Less

Submitted 9 April, 2017; v1 submitted 1 February, 2017; originally announced February 2017.

Journal ref: In: Bousfield Classes and Ohkawa's Theorem, Springer 2010, 89-102

Definable Categories

Authors: Amit Kuber, Jiří Rosický

Abstract: 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… ▽ More 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. △ Less

Submitted 12 December, 2016; originally announced December 2016.

Comments: 22 pages

MSC Class: 18C35; 18E10; 03G30; 18C10

Hanf numbers via accessible images

Authors: Michael Lieberman, Jiri Rosicky

Abstract: We present several new model-theoretic applications of the fact that, under the assumption that there exists a proper class of almost strongly compact cardinals, the powerful image of any accessible functor is accessible. In particular, we generalize to the context of accessible categories the recent Hanf number computations of Baldwin and Boney, namely that in an abstract elementary class (AEC) i… ▽ More We present several new model-theoretic applications of the fact that, under the assumption that there exists a proper class of almost strongly compact cardinals, the powerful image of any accessible functor is accessible. In particular, we generalize to the context of accessible categories the recent Hanf number computations of Baldwin and Boney, namely that in an abstract elementary class (AEC) if the joint embedding and amalgamation properties hold for models of size up to a sufficiently large cardinal, then they hold for models of arbitrary size. Moreover, we prove that, under the above-mentioned large cardinal assumption, every metric AEC is strongly d-tame, strengthening a result of Boney and Zambrano and pointing the way to further generalizations. △ Less

Submitted 22 June, 2017; v1 submitted 25 October, 2016; originally announced October 2016.

Comments: v1: 15 pages. v2: 13 pages, reformatted with minor edits. v3: 15 pages, title changed from "Bootstrap** structural properties, via accessible images," proofs expanded, definitions clarified in response to referees' feedback. v4: 15 pages, dedication added. v5: 15 pages, minor corrections, in press

MSC Class: 03C95; 03C52; 18C35; 03E55

Journal ref: Logical Methods in Computer Science, Volume 13, Issue 2 (June 23, 2017) lmcs:2190

Approximate injectivity

Authors: Jiri Rosicky, Walter Tholen

Abstract: In a locally $λ$-presentable category, with $λ$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $λ$-presentable, are known to be characterized by their closure under products, $λ$-directed colimits and $λ$-pure subobjects. Replacing the strict commutativity of diagrams by "commutativity up to $\varepsilon$", this paper… ▽ More In a locally $λ$-presentable category, with $λ$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $λ$-presentable, are known to be characterized by their closure under products, $λ$-directed colimits and $λ$-pure subobjects. Replacing the strict commutativity of diagrams by "commutativity up to $\varepsilon$", this paper provides an "approximate version" of this characterization for categories enriched over metric spaces. It entails a detailed discussion of the needed $\varepsilon$-generalizations of the notion of $λ$-purity. The categorical theory is being applied to the locally $\aleph_1$-presentable category of Banach spaces and their linear operators of norm at most 1, culminating in a largely categorical proof for the existence of the so-called Gurarii Banach space. △ Less

Submitted 31 October, 2016; v1 submitted 19 August, 2016; originally announced August 2016.

Journal ref: Appl. Cat. Struct. 26 (2018), 699-716

Elementary equivalences and accessible functors

Authors: Tibor Beke, Jiri Rosicky

Abstract: We introduce the notion of $λ$-equivalence and $λ$-embeddings of objects in suitable categories. This notion specializes to $L_{\inftyλ}$-equivalence and $L_{\inftyλ}$-elementary embedding for categories of structures in a language of arity less than $λ$, and interacts well with functors and $λ$-directed colimits. We recover and extend results of Feferman and Eklof on "local functors" without fixi… ▽ More We introduce the notion of $λ$-equivalence and $λ$-embeddings of objects in suitable categories. This notion specializes to $L_{\inftyλ}$-equivalence and $L_{\inftyλ}$-elementary embedding for categories of structures in a language of arity less than $λ$, and interacts well with functors and $λ$-directed colimits. We recover and extend results of Feferman and Eklof on "local functors" without fixing a language in advance. This is convenient for formalizing Lefschetz's principle in algebraic geometry, which was one of the main applications of the work of Eklof. △ Less

Submitted 8 March, 2016; originally announced March 2016.

Journal ref: Annals Pure Appl. Logic 169 (2018), 674-703

Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories

Authors: Leonid Positselski, Jiri Rosicky

Abstract: We prove general results about completeness of cotorsion theories and existence of covers and envelopes in locally presentable abelian categories, extending the well-established theory for module categories and Grothendieck categories. These results are then applied to the categories of contramodules over topological rings, which provide examples and counterexamples. We prove general results about completeness of cotorsion theories and existence of covers and envelopes in locally presentable abelian categories, extending the well-established theory for module categories and Grothendieck categories. These results are then applied to the categories of contramodules over topological rings, which provide examples and counterexamples. △ Less

Submitted 21 April, 2017; v1 submitted 26 December, 2015; originally announced December 2015.

Comments: 45 pages; v.2: several misprints corrected, references updated -- this is intended as the final version

Journal ref: Journ. of Algebra 483 (2017), p.83-128

$μ$-Abstract Elementary Classes and other generalizations

Authors: Will Boney, Rami Grossberg, Michael Lieberman, Jiri Rosicky, Sebastien Vasey

Abstract: We introduce $μ$-Abstract Elementary Classes ($μ$-AECs) as a broad framework for model theory that includes complete boolean algebras and Dirichlet series, and begin to develop their classification theory. Moreover, we note that $μ$-AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: not lea… ▽ More We introduce $μ$-Abstract Elementary Classes ($μ$-AECs) as a broad framework for model theory that includes complete boolean algebras and Dirichlet series, and begin to develop their classification theory. Moreover, we note that $μ$-AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: not least, the preliminary classification-theoretic results for μ-AECs transfer directly to accessible categories with monomorphisms. △ Less

Submitted 11 February, 2016; v1 submitted 24 September, 2015; originally announced September 2015.

Comments: 26 pp

MSC Class: 03C48 (Primary); 03C45; 18C35; 03C52; 03C55; 03C75; 03E55 (Secondary)

Journal ref: Journal of Pure and Applied Algebra 220 (2016), no. 9, 3048-3066

Accessible images revisited

Authors: Andrew Brooke-Taylor, Jiří Rosický

Abstract: 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. F… ▽ More 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. △ Less

Submitted 22 March, 2016; v1 submitted 5 June, 2015; originally announced June 2015.

Comments: 14 pages; amended after referee's comments, mostly to improve exposition. We have changed terminology for the large cardinal axiom - this is discussed in some depth after Definition 2.3

MSC Class: 18C35; 03E55 (Primary); 03C48 (Secondary)

Approximations of superstability in concrete accessible categories

Authors: Michael Lieberman, Jiri Rosicky

Abstract: We generalize the constructions and results of Chapter 10 in Baldwin's "Categoricity" to coherent accessible categories with concrete directed colimits and concrete monomorphisms. In particular, we prove that if any category of this form is categorical in a successor, directed colimits of saturated objects are themselves saturated. We generalize the constructions and results of Chapter 10 in Baldwin's "Categoricity" to coherent accessible categories with concrete directed colimits and concrete monomorphisms. In particular, we prove that if any category of this form is categorical in a successor, directed colimits of saturated objects are themselves saturated. △ Less

Submitted 22 May, 2015; originally announced May 2015.

Comments: 17 pages

MSC Class: 03C48; 03C95; 18C35

Limits of abstract elementary classes

Authors: M. Lieberman, J. Rosický

Abstract: We show that the category of abstract elementary classes (AECs) and concrete functors is closed under constructions of "limit type," which generalizes the approach of Mariano, Zambrano and Villaveces away from the syntactically oriented framework of institutions. Moreover, we provide a broader view of this closure phenomenon, considering a variety of categories of accessible categories with additi… ▽ More We show that the category of abstract elementary classes (AECs) and concrete functors is closed under constructions of "limit type," which generalizes the approach of Mariano, Zambrano and Villaveces away from the syntactically oriented framework of institutions. Moreover, we provide a broader view of this closure phenomenon, considering a variety of categories of accessible categories with additional structure, and relaxing the assumption that the morphisms be concrete functors. △ Less

Submitted 19 August, 2015; v1 submitted 18 April, 2015; originally announced April 2015.

Journal ref: Theory Appl. Categ. 30 (2015), 1647-1658

On reflective subcategories of locally presentable categories

Authors: Jiri Adamek, Jiri Rosicky

Abstract: Are all subcategories of locally finitely presentable categories that are closed under limits and $λ$-filtered colimits also locally presentable? For full subcategories the answer is affirmative. Makkai and Pitts proved that in the case $λ=\aleph_0$ the answer is affirmative also for all iso-full subcategories, \emph{i.\thinspace e.}, those containing with every pair of objects all isomorphisms be… ▽ More Are all subcategories of locally finitely presentable categories that are closed under limits and $λ$-filtered colimits also locally presentable? For full subcategories the answer is affirmative. Makkai and Pitts proved that in the case $λ=\aleph_0$ the answer is affirmative also for all iso-full subcategories, \emph{i.\thinspace e.}, those containing with every pair of objects all isomorphisms between them. We discuss a possible generalization of this from $\aleph_0$ to an arbitrary $λ$. △ Less

Submitted 26 May, 2015; v1 submitted 15 April, 2015; originally announced April 2015.

MSC Class: 18B15; 18B10

Metric abstract elementary classes as accessible categories

Authors: Michael Lieberman, Jiri Rosicky

Abstract: We show that metric abstract elementary classes (mAECs) are, in the sense of [LR] (i.e. arXiv:1404.2528), coherent accessible categories with directed colimits, with concrete $\aleph_1$-directed colimits and concrete monomorphisms. More broadly, we define a notion of $κ$-concrete AEC---an AEC-like category in which only the $κ$-directed colimits need be concrete---and develop the theory of such ca… ▽ More We show that metric abstract elementary classes (mAECs) are, in the sense of [LR] (i.e. arXiv:1404.2528), coherent accessible categories with directed colimits, with concrete $\aleph_1$-directed colimits and concrete monomorphisms. More broadly, we define a notion of $κ$-concrete AEC---an AEC-like category in which only the $κ$-directed colimits need be concrete---and develop the theory of such categories, beginning with a category-theoretic analogue of Shelah's Presentation Theorem and a proof of the existence of an Ehrenfeucht-Mostowski functor in case the category is large. For mAECs in particular, arguments refining those in [LR] yield a proof that any categorical mAEC is $μ$-d-stable in many cardinals below the categoricity cardinal. △ Less

Submitted 29 March, 2017; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: v2: changed terminology. v3: tightened inequalities. v4: clarifying notes added. v5: referee's comments incorporated, with substantial improvements

MSC Class: 03C95; 03C45; 18C35

Accessible model categories

Authors: J. Rosicky

Abstract: We prove that a weak factorization system on a locally presentable category is accessible if and only if it is small generated in the sense of R. Garner. Moreover, we discuss an analogy of Smith's theorem for accessible model categories. We prove that a weak factorization system on a locally presentable category is accessible if and only if it is small generated in the sense of R. Garner. Moreover, we discuss an analogy of Smith's theorem for accessible model categories. △ Less

Submitted 22 July, 2015; v1 submitted 17 March, 2015; originally announced March 2015.

Cellular objects and Shelah's singular compactness theorem

Authors: Tibor Beke, Jiri Rosicky

Abstract: The best-known version of Shelah's celebrated singular cardinal compactness theorem states that if the cardinality of an abelian group is singular, and all its subgroups of lesser cardinality are free, then the group itself is free. The proof can be adapted to cover a number of analogous situations in the setting of non-abelian groups, modules, graph colorings, set transversals etc. We give a sing… ▽ More The best-known version of Shelah's celebrated singular cardinal compactness theorem states that if the cardinality of an abelian group is singular, and all its subgroups of lesser cardinality are free, then the group itself is free. The proof can be adapted to cover a number of analogous situations in the setting of non-abelian groups, modules, graph colorings, set transversals etc. We give a single, structural statement of singular compactness that covers all examples in the literature that we are aware of. A case of this formulation, singular compactness for cellular structures, is of special interest; it expresses a relative notion of freeness. The proof of our functorial formulation is motivated by a paper of Hodges, based on a talk of Shelah. The cellular formulation is new, and related to recent work in abstract homotopy theory. △ Less

Submitted 15 June, 2014; originally announced June 2014.

Journal ref: J. Pure Appl. Alg. 220(2016), 1813-1836

Classification theory for accessible categories

Authors: Michael Lieberman, Jirí Rosický

Abstract: We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal assumption. We also show that such categories support a robust version of the Ehrenfeucht-Mostowski construction. This analysis has the added benefit of producing… ▽ More We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal assumption. We also show that such categories support a robust version of the Ehrenfeucht-Mostowski construction. This analysis has the added benefit of producing a purely language-free characterization of AECs, and highlights the precise role played by the coherence axiom. △ Less

Submitted 24 November, 2014; v1 submitted 9 April, 2014; originally announced April 2014.

Comments: 17 pages

MSC Class: 03C45; 03C95; 03G30

The accessibility rank of weak equivalences

Authors: G. Raptis, J. Rosický

Abstract: We study the accessibility properties of trivial cofibrations and weak equivalences in a combinatorial model category and prove an estimate for the accessibility rank of weak equivalences. In particular, we show that the class of weak equivalences between simplicial sets is finitely accessible. We study the accessibility properties of trivial cofibrations and weak equivalences in a combinatorial model category and prove an estimate for the accessibility rank of weak equivalences. In particular, we show that the class of weak equivalences between simplicial sets is finitely accessible. △ Less

Submitted 12 May, 2015; v1 submitted 12 March, 2014; originally announced March 2014.

Comments: The main result is improved and its proof is simplified. To appear in Theory and Applications of Categories. 15 pages

MSC Class: 55U35; 18C35; 55U10

Homotopy locally presentable enriched categories

Authors: Stephen Lack, Jiri Rosicky

Abstract: We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categories, links homotopy locally presentable V-categories with combinatorial model V-categories, in the case where has all objects of V are cofibrant. We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categories, links homotopy locally presentable V-categories with combinatorial model V-categories, in the case where has all objects of V are cofibrant. △ Less

Submitted 28 June, 2015; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: 48 pages. Significant changes in v2, especially in the last section

Journal ref: Theory and Applications of Categories, 31:712-754, 2016

Cellular categories

Authors: M. Makkai, J. Rosický

Abstract: We study locally presentable categories equipped with a cofibrantly generated weak factorization system. Our main result is that these categories are closed under 2-limits, in particular under pseudopullbacks. We give applications to deconstructible classes in Grothendieck categories. We discuss pseudopullbacks of combinatorial model categories. We study locally presentable categories equipped with a cofibrantly generated weak factorization system. Our main result is that these categories are closed under 2-limits, in particular under pseudopullbacks. We give applications to deconstructible classes in Grothendieck categories. We discuss pseudopullbacks of combinatorial model categories. △ Less

Submitted 29 April, 2013; originally announced April 2013.

MSC Class: 18C35; 55U35

Journal ref: J. Pure Appl. Alg. 218 (2014), 1652-1664

On a fat small object argument

Authors: Michael Makkai, Jiří Rosický, Lukáš Vokřínek

Abstract: 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. 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. △ Less

Submitted 25 April, 2013; originally announced April 2013.

Comments: 22 pages

MSC Class: 55U35; 18C35