Showing 51–72 of 72 results for author: Rosicky, J

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

Strongly Complete Logics for Coalgebras

Authors: Alexander Kurz, Jiri Rosicky

Abstract: Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary set-functor is given and proven to be strongly complete under additional assumptions. We proceed in three parts. Part I argues that sifted colimit preserving fun… ▽ More Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary set-functor is given and proven to be strongly complete under additional assumptions. We proceed in three parts. Part I argues that sifted colimit preserving functors are those functors that preserve universal algebraic structure. Our main theorem here states that a functor preserves sifted colimits if and only if it has a finitary presentation by operations and equations. Moreover, the presentation of the category of algebras for the functor is obtained compositionally from the presentations of the underlying category and of the functor. Part II investigates algebras for a functor over ind-completions and extends the theorem of J{ó}nsson and Tarski on canonical extensions of Boolean algebras with operators to this setting. Part III shows, based on Part I, how to associate a finitary logic to any finite-sets preserving functor T. Based on Part II we prove the logic to be strongly complete under a reasonable condition on T. △ Less

Submitted 11 September, 2012; v1 submitted 11 July, 2012; originally announced July 2012.

ACM Class: F.3.2; F.4.1

Journal ref: Logical Methods in Computer Science, Volume 8, Issue 3 (September 12, 2012) lmcs:1231

Rigidification of algebras over essentially algebraic theories

Authors: J. Rosicky

Abstract: Badzioch and Bergner proved a rigidification theorem saying that each homotopy simplicial algebra is weakly equivalent to a simplicial algebra. The question is whether this result can be extended from algebraic theories to finite limit theories and from simplicial sets to more general monoidal model categories. We will present some answers to this question. Badzioch and Bergner proved a rigidification theorem saying that each homotopy simplicial algebra is weakly equivalent to a simplicial algebra. The question is whether this result can be extended from algebraic theories to finite limit theories and from simplicial sets to more general monoidal model categories. We will present some answers to this question. △ Less

Submitted 24 May, 2013; v1 submitted 3 June, 2012; originally announced June 2012.

Comments: The proof of Theorem 3.3 is corrected

Journal ref: Appl. Categ. Struct. 23 (2015), 159-175

A generalization of Ohkawa's theorem

Authors: Carles Casacuberta, Javier J. Gutiérrez, Jirí Rosický

Abstract: A theorem due to Ohkawa states that the collection of Bousfield equivalence classes of spectra is a set. We extend this result to arbitrary combinatorial model categories. A theorem due to Ohkawa states that the collection of Bousfield equivalence classes of spectra is a set. We extend this result to arbitrary combinatorial model categories. △ Less

Submitted 4 October, 2013; v1 submitted 28 March, 2012; originally announced March 2012.

Comments: 13 pages; consequences in motivic homotopy theory have been added

MSC Class: 55P42 (Primary) 55N20 (Secondary)

Journal ref: Compositio Mathematica 150 (2014), 893-902

Class-combinatorial model categories

Authors: Boris Chorny, Jiří Rosický

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

Submitted 19 October, 2011; originally announced October 2011.

Comments: 21 pages https://projecteuclid.org/euclid.hha/1355321074

Journal ref: Homology Homotopy Appl. 14 (2012), no. 1, 263--280

Colimits of accessible categories

Authors: R. Pare, J. Rosicky

Abstract: We show that any directed colimit of acessible categories and accessible full embeddings is accessible and, assuming the existence of arbitrarily large strongly compact cardinals, any directed colimit of acessible categories and accessible embeddings is accessible. We show that any directed colimit of acessible categories and accessible full embeddings is accessible and, assuming the existence of arbitrarily large strongly compact cardinals, any directed colimit of acessible categories and accessible embeddings is accessible. △ Less

Submitted 4 October, 2011; originally announced October 2011.

Journal ref: Math. Proc. Cambr. Phil. Soc. 155 (2013), 47-50

Locally class-presentable and class-accessible categories

Authors: Boris Chorny, Jiri Rosicky

Abstract: We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the abstract homotopy theory. We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the abstract homotopy theory. △ Less

Submitted 29 April, 2012; v1 submitted 4 October, 2011; originally announced October 2011.

Journal ref: J. Pure Appl. Alg. 216 (2012), 2113-2125

Are all localizing subcategories of stable homotopy categories coreflective?

Authors: Carles Casacuberta, Javier J. Gutiérrez, Jiří Rosický

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

Submitted 13 April, 2012; v1 submitted 11 June, 2011; originally announced June 2011.

Comments: 29 pages; a few changes made in Section 2

MSC Class: 18E30; 18G55; 55P42; 55P60; 03E55

Journal ref: Advances in Mathematics 252 (2014), 158-184

Definable orthogonality classes in accessible categories are small

Authors: Joan Bagaria, Carles Casacuberta, A. R. D. Mathias, Jiri Rosicky

Abstract: We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Levy hierarchy. For example, the statement that, for a class S of m… ▽ More We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Levy hierarchy. For example, the statement that, for a class S of morphisms in a locally presentable category C of structures, the orthogonal class of objects is a small-orthogonality class (hence reflective) is provable in ZFC if S is Σ_1, while it follows from the existence of a proper class of supercompact cardinals if S is Σ_2, and from the existence of a proper class of what we call C(n)-extendible cardinals if S is Σ_{n+2} for n bigger than or equal to 1. These cardinals form a new hierarchy, and we show that Vopenka's principle is equivalent to the existence of C(n)-extendible cardinals for all n. As a consequence, we prove that the existence of cohomological localizations of simplicial sets, a long-standing open problem in algebraic topology, is implied by the existence of arbitrarily large supercompact cardinals. This result follows from the fact that cohomology equivalences are Σ_2. In contrast with this fact, homology equivalences are Σ_1, from which it follows (as is well known) that the existence of homological localizations is provable in ZFC. △ Less

Submitted 2 December, 2012; v1 submitted 14 January, 2011; originally announced January 2011.

Comments: 38 pages; some results have been improved and former inaccuracies have been corrected

MSC Class: 03E55; 03C55; 18A40; 18C35; 55P60

Enriched weakness

Authors: Stephen Lack, Jiri Rosicky

Abstract: The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for existence. The enriched versions of the usual notions involve certain morphisms between hom-objects being invertible; here we introduce enriched versions of the we… ▽ More The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for existence. The enriched versions of the usual notions involve certain morphisms between hom-objects being invertible; here we introduce enriched versions of the weak notions by asking that the morphisms between hom-objects belong to a chosen class of "surjections". We study in particular injectivity (weak orthogonality) in the enriched context, and illustrate how it can be used to describe homotopy coherent structures. △ Less

Submitted 30 January, 2011; v1 submitted 8 September, 2010; originally announced September 2010.

Comments: 25 pages; v2 minor changes, to appear in JPAA

MSC Class: 18D20; 18C35; 18G55

Journal ref: Journal of Pure and Applied Algebra 216(8-9): 1807-1822, 2012

Abstract elementary classes and accessible categories

Authors: Tibor Beke, Jiri Rosicky

Abstract: We compare abstract elementary classes of Shelah with accessible categories having directed colimits. We compare abstract elementary classes of Shelah with accessible categories having directed colimits. △ Less

Submitted 2 December, 2011; v1 submitted 17 May, 2010; originally announced May 2010.

Journal ref: Annals Pure Appl. Logic 163 (2012), 2008-2017

Are all cofibrantly generated model categories combinatorial?

Authors: J. Rosicky

Abstract: G. Raptis has recently proved that, assuming Vopěnka's principle, every cofibrantly generated model category is Quillen equivalent to a combinatorial one. His result remains true for a slightly more general concept of a cofibrantly generated model category. We show that Vopěnka's principle is equivalent to this claim. The set-theoretical status of the original Raptis' result is open. G. Raptis has recently proved that, assuming Vopěnka's principle, every cofibrantly generated model category is Quillen equivalent to a combinatorial one. His result remains true for a slightly more general concept of a cofibrantly generated model category. We show that Vopěnka's principle is equivalent to this claim. The set-theoretical status of the original Raptis' result is open. △ Less

Submitted 2 July, 2009; v1 submitted 5 May, 2009; originally announced May 2009.

MSC Class: 18G55

Journal ref: Cahiers Top. Géom. Diff. Cat. 50 (2009), 233-238

Notions of Lawvere theory

Authors: Stephen Lack, Jiri Rosicky

Abstract: Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how this equivalence, and the basic results of universal algebra, can be generalized in three ways: replacing Set by another category, working in an enriched sett… ▽ More Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how this equivalence, and the basic results of universal algebra, can be generalized in three ways: replacing Set by another category, working in an enriched setting, and by working with another class of limits than finite products. An important special case involves working with sifted-colimit-preserving monads rather than filtered-colimit-preserving ones. △ Less

Submitted 14 October, 2009; v1 submitted 14 October, 2008; originally announced October 2008.

Comments: 27 pages. v2 minor changes, final version, to appear in Applied Categorical Structures

MSC Class: 18C10; 18C15; 18D20

Journal ref: Applied Categorical Structures 19(1):363-391, 2011

Factorization, Fibration and Torsion

Authors: Jiri Rosicky, Walter Tholen

Abstract: A simple definition of torsion theory is presented, as a factorization system with both classes satisfying the 3--for--2 property. Comparisons with the traditional notion are given, as well as connections with the notions of fibration and of weak factorization system, as used in abstract homotopy theory. A simple definition of torsion theory is presented, as a factorization system with both classes satisfying the 3--for--2 property. Comparisons with the traditional notion are given, as well as connections with the notions of fibration and of weak factorization system, as used in abstract homotopy theory. △ Less

Submitted 29 December, 2007; originally announced January 2008.

Comments: To be published in "Journal of homotopy and Related Structures"

A convenient category for directed homotopy

Authors: L. Fajstrup, J. Rosicky

Abstract: We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable. We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable. △ Less

Submitted 29 August, 2007; originally announced August 2007.

MSC Class: 18G55; 55U40; 68Q55

Journal ref: Theory Appl. Cat. 21 (2008), 7-20

On combinatorial model categories

Authors: J. Rosicky

Abstract: Combinatorial model categories were introduced by J. H. Smith as model categories which are locally presentable and cofibrantly generated. He has not published his results yet but proofs of some of them were presented by T. Beke or D. Dugger. We are contributing to this endeavour by proving that weak equivalences in a combinatorial model category form an accessible category. We also present some… ▽ More Combinatorial model categories were introduced by J. H. Smith as model categories which are locally presentable and cofibrantly generated. He has not published his results yet but proofs of some of them were presented by T. Beke or D. Dugger. We are contributing to this endeavour by proving that weak equivalences in a combinatorial model category form an accessible category. We also present some new results about weak equivalences and cofibrations in combinatorial model categories. △ Less

Submitted 16 August, 2007; originally announced August 2007.

MSC Class: 18G55

Journal ref: Appl. Cat. Str. 17 (2009), 303-316

On homotopy varieties

Authors: J. Rosicky

Abstract: Given an algebraic theory $\ct$, a homotopy $\ct$-algebra is a simplicial set where all equations from $\ct$ hold up to homotopy. All homotopy $\ct$-algebras form a homotopy variety. We give a characterization of homotopy varieties analogous to the characterization of varieties. We will also study homotopy models of limit theories which leads to homotopy locally presentable categories. These wer… ▽ More Given an algebraic theory $\ct$, a homotopy $\ct$-algebra is a simplicial set where all equations from $\ct$ hold up to homotopy. All homotopy $\ct$-algebras form a homotopy variety. We give a characterization of homotopy varieties analogous to the characterization of varieties. We will also study homotopy models of limit theories which leads to homotopy locally presentable categories. These were recently considered by Simpson, Lurie, Toën and Vezzosi. △ Less

Submitted 26 May, 2006; v1 submitted 28 September, 2005; originally announced September 2005.

Comments: Proposition 4.5 is not valid; see Remark 4.5(e) in the new version. All other results are correct but there are gaps in proofs. They are fixed by reducing simplicial categories to fibrant ones and replacing homotopy colimits by fibrant ones, as well

MSC Class: 18G55

Generalized Brown representability in homotopy categories

Authors: J. Rosicky

Abstract: We show that the homotopy category of a combinatorial stable model category $\ck$ is well generated. It means that each object $K$ of $\Ho(\ck)$ is an iterated weak colimit of $λ$-compact objects for some cardinal $λ$. A natural question is whether each $K$ is a weak colimit of $λ$-compact objects. We show that this is related to (generalized) Brown representability of $\Ho(\mathcal K)$. We show that the homotopy category of a combinatorial stable model category $\ck$ is well generated. It means that each object $K$ of $\Ho(\ck)$ is an iterated weak colimit of $λ$-compact objects for some cardinal $λ$. A natural question is whether each $K$ is a weak colimit of $λ$-compact objects. We show that this is related to (generalized) Brown representability of $\Ho(\mathcal K)$. △ Less

Submitted 3 December, 2009; v1 submitted 9 June, 2005; originally announced June 2005.

Comments: This is the correction of the original submission which was published in Theory Appl. Categ. 14 (2005), 451-479. Propositions 4.2 and 4.3 from the original submission are not correct. Thus the claims of Theorems 5.4, 5.7 and their Corollaries 5.8, 5.9 and 5.10 remain open. I am grateful to J. F. Jardine and F. Muro for pointing it out

MSC Class: 18G55

Journal ref: Theory Appl. Categ. 14 (2005), 451-479

On quantales and spectra of C*-algebras

Authors: David Kruml, Joan Wick Pelletier, Pedro Resende, Jiri Rosicky

Abstract: We study properties of the quantale spectrum Max A of an arbitrary unital C*-algebra A. In particular we show that the spatialization of Max A with respect to one of the notions of spatiality in the literature yields the locale of closed ideals of A when A is commutative. We study under general conditions functors with this property, in addition requiring that colimits be preserved, and we concl… ▽ More We study properties of the quantale spectrum Max A of an arbitrary unital C*-algebra A. In particular we show that the spatialization of Max A with respect to one of the notions of spatiality in the literature yields the locale of closed ideals of A when A is commutative. We study under general conditions functors with this property, in addition requiring that colimits be preserved, and we conclude in this case that the spectrum of A necessarily coincides with the locale of closed ideals of the commutative reflection of A. Finally, we address functorial properties of Max, namely studying (non-)preservation of limits and colimits. Although Max is not an equivalence of categories, therefore not providing a direct generalization of Gelfand duality to the noncommutative case, it is a faithful complete invariant of unital C*-algebras. △ Less

Submitted 21 November, 2002; originally announced November 2002.

Comments: 22 pages. Will appear in Applied Categorical Structures

MSC Class: 46L85 (Primary) 06F07; 46M15 (Secondary)

Journal ref: Applied Categorical Structures 11 (2003) 543-560