-groupoids and homotopy types
A logic of injectivity.
A model category for the homotopy theory of concurrency.
A model structure for the homotopy theory of crossed complexes
A note on exactness and stability in homotopical algebra.
A simplicial description of the homotopy category of simplicial groupoids.
Algebraic model structures.
Algebraic properties of decorated splitting obstruction groups
In questo articolo si riassumono le definizioni e le principali proprietà dei gruppi di ostruzione con decorazione di tipo LS e LP. Si stabiliscono nuove relazioni fra questi gruppi e si descrivono le proprietà delle mappe naturali fra differenti gruppi con decorazione. Si costruiscono varie successioni spettrali, contenenti questi gruppi con decorazione, e si studiano la loro connessione con le successioni spettrali in -teoria per certe estensioni quadratiche di antistrutture. Infine, si introduce...
Approximation axiomatique à la théorie du bordisme
Axiome du cube et foncteurs de Quillen
Les approches de Whitehead et de Ganea, conceptuellement différentes, permettent toutes deux la définition de la catégorie de Lusternik et Schnirelmann. Le premier auteur a montré qu’elles existent dans le cadre des catégories à modèles de Quillen et qu’elles coïncident lorsqu’est vérifié un axiome supplémentaire non autodual, l’axiome du cube. Nous étendons ici cette étude au cadre de catégories à modèles non nécessairement propres et ne vérifiant pas l’axiome du cube. Pour cela, l’hypothèse globale...
Boolean localization, in practice.
Calculating limits and colimits in pro-categories
We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about étale homotopy types. We also correct some mistakes in the literature on this topic.
Catégories dérivables
Ces notes sont consacrées à la construction de dérivateurs à partir d’une nouvelle notion de catégorie de modèles assez générale pour recouvrir les théories de Quillen, Thomason et Brown. On développe en particulier la théorie des catégories exactes dérivables (par exemple les catégories de Frobenius et les catégories biWaldhausen compliciales vérifiant de bonnes propriétés de stabilité homotopique), lesquelles donnent lieu à des dérivateurs triangulés. On donne une caractérisation combinatoire...
Category with a natural cone
Generally, in homotopy theory a cylinder object (or, its dual, a path object) is used to define homotopy between morphisms, and a cone object is used to build exact sequences of homotopy groups. Here, an axiomatic theory based on a cone functor is given. Suspension objects are associated to based objects and cofibrations, obtaining homotopy groups referred to an object and relative to a cofibration, respectively. Exact sequences of these groups are built. Algebraic and particular examples are given....
Čech extensions and localization of homotopy functors
Chain homotopy pullbacks and pushouts
Closed model categories for -types.
Coherent and strong expansions of spaces coincide
In the existing literature there are several constructions of the strong shape category of topological spaces. In the one due to Yu. T. Lisitsa and S. Mardešić [LM1-3] an essential role is played by coherent polyhedral (ANR) expansions of spaces. Such expansions always exist, because every space admits a polyhedral resolution, resolutions are strong expansions and strong expansions are always coherent. The purpose of this paper is to prove that conversely, every coherent polyhedral (ANR) expansion...
Coherent categories with respect to monads and coherent prohomotopy theory
Coherent functors in stable homotopy theory
Coherent functors 𝓢 → Ab from a compactly generated triangulated category into the category of abelian groups are studied. This is inspired by Auslander's classical analysis of coherent functors from a fixed abelian category into abelian groups. We characterize coherent functors and their filtered colimits in various ways. In addition, we investigate certain subcategories of 𝓢 which arise from families of coherent functors.