Results 1  10
of
12
Algebraic model structures
"... Abstract. We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove “algebraic ” analogs of classical results. Using a modified version of Quillen’s small object argument, we show that e ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
Abstract. We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove “algebraic ” analogs of classical results. Using a modified version of Quillen’s small object argument, we show that every cofibrantly generated model structure in the usual sense underlies a cofibrantly generated algebraic model structure. We show how to pass a cofibrantly generated algebraic model structure across an adjunction, and we characterize the algebraic Quillen adjunction that results. We prove that pointwise algebraic weak factorization systems on diagram categories are cofibrantly generated if the original ones are, and we give an algebraic generalization of the projective model structure. Finally, we prove that certain fundamental comparison maps present in any cofibrantly generated model category are cofibrations when the cofibrations are monomorphisms, a conclusion that does not seem to be provable in the classical, nonalgebraic, theory. Contents
On the construction of functorial factorizations for model categories
, 2012
"... Abstract. We present general techniques for constructing functorial factorizations appropriate for model structures that are not known to be cofibrantly generated. Our methods use “algebraic ” characterizations of fibrations to produce factorizations that have the desired lifting properties in a com ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Abstract. We present general techniques for constructing functorial factorizations appropriate for model structures that are not known to be cofibrantly generated. Our methods use “algebraic ” characterizations of fibrations to produce factorizations that have the desired lifting properties in a completely categorical fashion. We illustrate these methods in the case of categories enriched, tensored, and cotensored in spaces, proving the existence of Hurewicztype model structures, thereby correcting an error in earlier attempts by others. Examples include the categories of (based) spaces, (based) Gspaces, and diagram spectra among others. 1.
A folk model structure on omegacat
, 2009
"... The primary aim of this work is an intrinsic homotopy theory of strict ωcategories. We establish a model structure on ωCat, the category of strict ωcategories. The constructions leading to the model structure in question are expressed entirely within the scope of ωCat, building on a set of generat ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The primary aim of this work is an intrinsic homotopy theory of strict ωcategories. We establish a model structure on ωCat, the category of strict ωcategories. The constructions leading to the model structure in question are expressed entirely within the scope of ωCat, building on a set of generating cofibrations and a class of weak equivalences as basic items. All object are fibrant while free objects are cofibrant. We further exhibit model structures of this type on ncategories for arbitrary n ∈ N, as specialisations of the ωcategorical one along right adjoints. In particular, known cases for n = 1 and n = 2 nicely fit into the scheme.
THE COALGEBRAIC STRUCTURE OF CELL COMPLEXES
"... Abstract. The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on Top, we give a new expression of these morphisms by defining a category of relative ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on Top, we give a new expression of these morphisms by defining a category of relative cell complexes, which has a forgetful functor to the arrow category. This allows us to prove a conjecture of Richard Garner: considering the algebraic weak factorisation system given in that algebraic model structure between
Multivariable adjunctions and mates
, 2012
"... We present the notion of “cyclic double multicategory”, as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this situation to n + 1 functors of n variables. Furthermore, we ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We present the notion of “cyclic double multicategory”, as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this situation to n + 1 functors of n variables. Furthermore, we generalise the mates correspondence, which enables us to pass between natural transformations involving left adjoints to those involving right adjoints. While the standard mates correspondence is described using an isomorphism of double categories, the multivariable version requires the framework of “double multicategories”. Moreover, we show that the analogous isomorphisms of double multicategories give a cyclic action on the multimaps, yielding the notion of “cyclic double multicategory”. The workis motivated byand appliedtoRiehl’s approach
Comparing
"... composites of left and right derived functors Michael Shulman Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double ..."
Abstract
 Add to MetaCart
composites of left and right derived functors Michael Shulman Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions and mates in 2categories, then gives us canonical ways to compare composites of left and right derived functors. We give a number of sample applications, most of which are improvements
Comparing
"... composites of left and right derived functors Michael Shulman Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double ..."
Abstract
 Add to MetaCart
composites of left and right derived functors Michael Shulman Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions and mates in 2categories, then gives us canonical ways to compare composites of left and right derived functors. We give a number of sample applications, most of which are improvements
SET THEORY FOR CATEGORY THEORY
, 810
"... Abstract. Questions of settheoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made can have noticeable effects on what categorical co ..."
Abstract
 Add to MetaCart
Abstract. Questions of settheoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made can have noticeable effects on what categorical constructions are permissible. In this expository paper we summarize and compare a number
Preface Prerequisites Notational Conventions Acknowledgments
"... Categorical homotopy theory Emily RiehlTo my students, colleagues, friends who inspired this work.... what we are doing is finding ways for people to understand and think about mathematics. ..."
Abstract
 Add to MetaCart
Categorical homotopy theory Emily RiehlTo my students, colleagues, friends who inspired this work.... what we are doing is finding ways for people to understand and think about mathematics.
BY
"... All Rights ReservedTo L, who let me go.Table of Contents Acknowledgments....................................... Abstract............................................ Preface............................................. vi ..."
Abstract
 Add to MetaCart
All Rights ReservedTo L, who let me go.Table of Contents Acknowledgments....................................... Abstract............................................ Preface............................................. vi