Purity and homotopy theory of coalgebras

We construct a combinatorical monoidal model category on simplicial flat cocommutative coalgebras over a Prüfer domain. The cofibrations are the morphisms which are pure as module maps.     

Weighted limits in simplicial homotopy theory

By combining ideas of homotopical algebra and of enriched category theory, we explain how two classical formulas for homotopy colimits, one arising from the work of Quillen and one arising from the work of Bousfield and Kan, are instances of general formulas for the derived functor of the weighted colimit functor.     

A note on the homotopy theory of pro-G-spectra

This paper represents a step toward a model structure on pro-spectra in which the weak equivalences are the maps inducing pro-isomorphisms of all pro-homotopy groups. We construct a category in which these weak equivalences are inverted and show that we have not inverted “too much,” in the sense that isomorphic objects still give pro-isomorphic cohomology groups.     

The 2-category theory of quasi-categories

In this paper we re-develop the foundations of the category theory of quasi-categories (also called ∞-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among them weak comma objects. We use these comma quasi-categories to encode universal properties relevant to limits, colimits, and adjunctions and prove the expected theorems relating these notions. These universal properties have an alternate form as absolute lifting diagrams in the 2-category, which we show are determined pointwise by the existence of certain initial or terminal vertices, allowing for the easy production of examples.     

Axiomatic homotopy theory for operads

We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.     

Obstruction theory in model categories

Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial obstruction class that determines whether a lift exists. Working in an arbitrary pointed proper model category, we classify the cofibrations that have such an obstruction theory with respect to all fibrations. Up to weak equivalence, retract, and cobase change, they are the cofibrations with weakly contractible target. Equivalently, they are the retracts of principal cofibrations. Without properness, the same classification holds for cofibrations with cofibrant source. Our results dualize to give a classification of fibrations that have an obstruction theory.     

A projective homotopy theory of crossedG-modules

In this article we extend Hilton's projective homotopy theory of modules (Hilton, 1967) to a homotopy theory of crossed modules, and then reduce some resulting homotopy classification problems to problems in group homology. We also observe that our homotopy theory satisfies the axioms of a Baues fibration category (Baues, 1989).This author would like to thank the University of Cape Town for its hospitality.     

Crossed modules as homotopy normal maps

In this note we consider crossed modules of groups (N→G, G→Aut(N)), as a homotopy version of the inclusion N⊂G of a normal subgroup. Our main observation is a characterization of the underlying map N→G of a crossed module in terms of a simplicial group structure on the associated bar construction. This approach allows for “natural” generalizations to other monoidal categories, in particular we consider briefly what we call “normal maps” between simplicial groups.     

On the universal coefficients formula for shape homology

In this paper it is investigated whether various shape homology theories satisfy the Universal Coefficients Formula (UCF). It is proved that pro-homology and strong homology satisfy UCF in the class FAB of finitely generated abelian groups, while they do not satisfy UCF in the class AB of all abelian groups. Two new shape homology theories (called UCF-balanced) are constructed. It is proved that balanced pro-homology satisfies UCF in the class AB, while balanced strong homology satisfies UCF only in the class FAB.     

The Boardman-Vogt resolution of operads in monoidal model categories

We extend the -construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed Σ-cofibrant operads. The standard simplicial resolution of Godement as well as the cobar-bar chain resolution are shown to be particular instances of this generalised -construction.     

Model structures on exact categories

We define model structures on exact categories, which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly idempotent complete, we get Hovey’s one-to-one correspondence between model structures and complete cotorsion pairs. We classify the right and the left homotopy relation in terms of the cotorsion pairs and look at examples of exact model structures. In particular, we see that given any hereditary abelian model category, the full subcategories of cofibrant, fibrant and cofibrant-fibrant subobjects each has natural exact model structures equivalent to the original model structure. These model structures each has interesting characteristics. For example, the cofibrant-fibrant subobjects form a Frobenius category, whose stable category is the same as the homotopy category of its model structure.     

Rational homotopy theory and differential graded category

We propose a generalization of Sullivan’s de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same as the real homotopy type of a simply connected manifold is the de Rham algebra in original Sullivan’s theory. We prove the existence of a model category structure on the category of small closed tensor dg-categories and as a most simple case, confirm an equivalence between the homotopy category of spaces whose fundamental groups are finite and whose higher homotopy groups are finite dimensional rational vector spaces and the homotopy category of small closed tensor dg-categories satisfying certain conditions.     

New notions in derived categories of local rings

In the derived category of a local commutative noetherian ring, we define irreducible chain complexes, atomic chain complexes, minimal atomic chain complexes and chain complexes having no mod m detectable homology. Also, we define nuclear chain complexes and core of chain complexes. After defining these notions, we establish the connection between them.     

Calculus of functors and model categories

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure [B. Chorny, W.G. Dwyer, Homotopy theory of small diagrams over large categories, preprint, 2005]. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the n-homogeneous model structure, the nth derivative is a Quillen functor to the category of spectra with Σn-action. After taking into account only finitary functors—which may be done in two different ways—the above Quillen map becomes a Quillen equivalence. This improves the classification of finitary homogeneous functors by T.G. Goodwillie [T.G. Goodwillie, Calculus. III. Taylor series, Geom. Topol. 7 (2003) 645-711 (electronic)].     

The behaviour of the $$\overline{W}$$ -construction on the homotopy theory of bisimplicial sets

The codiagonal functor \(\overline{W}\) transfers a Quillen closed model structure on the bisimplicial set category from the ordinary model category of simplicial sets. This bisimplicial model structure is different from the so called Moerdijk model structure, which is similarly transferred from simplicial sets but through the diagonal functor. We show the mutual relationship of these two closed model structures on the category of bisimplicial sets.     

Algebraic K-theory and abstract homotopy theory

We decompose the K-theory space of a Waldhausen category in terms of its Dwyer–Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria appearing in the literature. We show that under mild hypotheses, a weakly exact functor that induces an equivalence of homotopy categories induces an equivalence of K-theory spectra.     

On exact categories and applications to triangulated adjoints and model structures

We show that Quillen?s small object argument works for exact categories under very mild conditions. This has immediate applications to cotorsion pairs and their relation to the existence of certain triangulated adjoint functors and model structures. In particular, the interplay of different exact structures on the category of complexes of quasi-coherent sheaves leads to a streamlined and generalized version of recent results obtained by Estrada, Gillespie, Guil Asensio, Hovey, Jørgensen, Neeman, Murfet, Prest, Trlifaj and possibly others.     

Homomorphisms of homotopy coalgebras

In this paper we consider the theory of higher order homotopy coalgebras as a collection of spaces between co-H-spaces and suspensions, which dualizes Stasheff's theory of Ak-spaces when these are defined through Ak-structures. Moreover we extend two Berstein-Hilton theorems which deal with the primitive homotopy type of a suspension and the class of a suspension map, respectively.