Shape fibrations and strong shape theory

The notion of shape fibration was introduced by Marde?i? and Rushing. In this paper we use ‘fibrant space’ techniques in strong shape theory to prove that every shape fibration p:E → B of compact metric spaces is contained in a map of fibrant spaces p′:E′→B′ which enjoys a certain lifting property and whose homotopy properties reflect the strong shape properties of the map p. Standard methods for studying Hurewicz fibrations are readily applied to the map p' and in this way we obtain a number of strong shape generalizations of results of Marde?i? and Rushing. We also prove the following theorem which answers a question of Rushing: A shape fibration of compact metric spaces which is a strong shape equivalence is an hereditary shape equivalence. Since the converse was known, this gives a characterization of hereditary shape equivalences.     

2-Categorical aspects of strong shape

For every pair (C,K) of groupoid enriched categories, we define two related categories S(C,K) and SS(C,K). In the case (C,K)=(TOP,ANR) they are isomorphic, respectively, to the classical shape category Sh(TOP) of Mardeši? and Segal and to the strong shape category of topological spaces SSh(1)(TOP) of height 1, defined by Lisicá and Mardeši?. Moreover, for (C,K)=(CM,ANR), where CM is the category of compact metric spaces, there is an isomorphism SSh(CM)≅SS(CM,ANR). A new characterization of topological strong shape equivalences is also given.     

Higher Galois theory

We generalize toposic Galois theory to higher topoi. We show that locally constant sheaves in a locally $(n?1)$-connected n-topos are equivalent to representations of its fundamental pro-n-groupoid, and that the latter can be described in terms of Galois torsors. We also show that finite locally constant sheaves in an arbitrary ∞-topos are equivalent to finite representations of its fundamental pro-∞-groupoid. Finally, we relate the fundamental pro-∞-groupoid of 1-topoi to the construction of Artin and Mazur and, in the case of the étale topos of a scheme, to its refinement by Friedlander.     

Proper shape over finite coverings

A proper shape is presented using an intrinsic definition and only finite coverings of open sets with compact boundary. For locally compact separable metric spaces with compact spaces of quasicomponents, it is shown: If X and Y have the same proper shape over finite coverings then their end points compactifications FX and FY have the same shape.     

Approximate extension property of mappings

The extension problem is to determine the extendability of a mapping defined on a closed subset of a space into a nice space such as a CW complex over the whole space. In this paper, we consider the extension problem when the codomains are general spaces. We take a shape theoretic approach to generalize the extension theory so that the codomains are allowed to be general spaces. We extend the notion of extension type which has been defined for the class of CW complexes and introduce the notion of approximate extension type which is defined for general spaces. We define approximate extension dimension analogously to extension dimension, replacing the class of CW complexes by the class of finitistic separable metrizable spaces. For every metrizable space X, we show the existence of approximate extension dimension of X.     

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.     

Open maps,colimits, and a convenient category of fibre spaces

We show that pulling back along an open map preserves all colimits in the category of weak Hausdorff k-spaces. We also show that the category of open maps over a weak Hausdorff k-space is a convenient category of fibre spaces.     

Epireflections and supercompact cardinals

We prove that the existence of arbitrarily large supercompact cardinals implies that every absolute epireflective class of objects in a balanced accessible category is a small-orthogonality class. In other words, if L is a localization functor on a balanced accessible category such that the unit morphism X→LX is an epimorphism for all X and the class of L-local objects is defined by an absolute formula, then the existence of a sufficiently large supercompact cardinal implies that L is a localization with respect to some set of morphisms.     

Structures de dérivabilité

We introduce a very general framework in which Quillen's theorems of existence, composition and adjunction for derived functors can be proved. We thus generalize and unify previous results by Dwyer, Hirschhorn, Kan and Smith, obtained in their formalism of “homotopical categories,” and by Radulescu-Banu in the context of Cisinski's “derivable categories.”     

Homotopical algebraic geometry I: topos theory

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts. In this first part we investigate a notion of higher topos.For this, we use S-categories (i.e. simplicially enriched categories) as models for certain kind of ∞-categories, and we develop the notions of S-topologies, S-sites and stacks over them. We prove in particular, that for an S-category T endowed with an S-topology, there exists a model category of stacks over T, generalizing the model category structure on simplicial presheaves over a Grothendieck site of Joyal and Jardine. We also prove some analogs of the relations between topologies and localizing subcategories of the categories of presheaves, by proving that there exists a one-to-one correspondence between S-topologies on an S-category T, and certain left exact Bousfield localizations of the model category of pre-stacks on T. Based on the above results, we study the notion of model topos introduced by Rezk, and we relate it to our model categories of stacks over S-sites.In the second part of the paper, we present a parallel theory where S-categories, S-topologies and S-sites are replaced by model categories, model topologies and model sites. We prove that a canonical way to pass from the theory of stacks over model sites to the theory of stacks over S-sites is provided by the simplicial localization construction of Dwyer and Kan. As an example of application, we propose a definition of étale K-theory of ring spectra, extending the étale K-theory of commutative rings.     

Equivariant strong shape

In this paper we propose a construction of the equivariant strong shape for compact metrizable G-spaces using an equivariant version of so-called cotelescopes and the concept of a fibrant G-space.     

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.     

The coshape invariant and continuous extensions of functors

The coshape invariant and continuous extensions of group-valued covariant and contravariant functors, defined on the category of pairs of spaces with the homotopy type of a pair of finite CW-complexes, are constructed.     

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.     

Intrinsic characterization of Alexander-Spanier cohomology groups of compactifications

In this paper we construct a uniform Alexander-Spanier cohomology functor from the category of pairs of uniform spaces to the category of abelian groups. We show that this functor satisfies all Eilenberg-Steenrod axioms on the category of pairs of precompact uniform spaces, is precompact uniform shape invariant and intrinsically, in terms of uniform structures, describes the Alexander-Spanier cohomology groups of compactifications of completely regular spaces.     

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.     

SOME RESULTS CONCERNING THE WALLMAN COMPACTIFICATION

Abstract

The first part of this paper surveys results and open questions about categories of T₁-spaces on which the wallman compactification induces an epireflection. The second part proves results on spaces whose Wallman remainder is Hausdorff.     

The Cartesian product of a compactum and a space is a bifunctor in shape

In 2003 the author has associated with every cofinite inverse system of compact Hausdorff spaces X with limit X and every simplicial complex K (possibly infinite) with geometric realization P=|K| a resolution R(X,K) of X×P, which consists of paracompact spaces. If X consists of compact polyhedra, then R(X,K) consists of spaces having the homotopy type of polyhedra. In two subsequent papers the author proved that R(X,K) is a covariant functor in each of its variables X and K. In the present paper it is proved that R(X,K) is a bifunctor. Using this result, it is proved that the Cartesian product X×Z of a compact Hausdorff space X and a topological space Z is a bifunctor SSh(Cpt)×Sh(Top)→Sh(Top) from the product category of the strong shape category of compact Hausdorff spaces SSh(Cpt) and the shape category Sh(Top) of topological spaces to the category Sh(Top). This holds in spite of the fact that X×Z need not be a direct product in Sh(Top).     

On a fat 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.     

Cellular 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.