Related papers: A connection between cellularization for groups an…
Let $P^{2n+1}$ be a two-cell complex which is formed by attaching a $(2n+1)$--cell to a $2m$--sphere by a suspension map. We construct a universal space $U$ for $P^{2n+1}$ in the category of homotopy associative, homotopy commutative…
The two pillars of Algebraic topology - Homology and homotopy theory rely on the availability of basic building blocks called cells. Cells take the form of simplexes, and have properties such as faces, sub-cells, convexity and…
An object in motivic homotopy theory is called cellular if it can be built out of motivic spheres using homotopy colimit constructions. We explore some examples and consequences of cellularity. We explain why the algebraic K-theory and…
We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian…
One way to understand the mod p homotopy theory of classifying spaces of finite groups is to compute their BZ/p-cellularization. In the easiest cases this is a classifying space of a finite group (always a finite p-group). If not, we show…
Consider a push-out diagram of spaces C <-- A --> B, construct the homotopy push-out, and then the homotopy pull-back of the diagram one gets by forgetting the initial object A. We compare the difference between A and this homotopy…
We give a rather general construction of double categories and so, under further conditions, double groupoids, from a structure we call a `double module'. We also give a homotopical construction of a double groupoid from a triad consisting…
Homotopy links have proven to be one of the most powerful tools of stratified homotopy theory. In previous work, we described combinatorial models for the generalized homotopy links of a stratified simplicial set. For many purposes, in…
A class of Cantor-type spaces and related geometric structures are discussed.
We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $\omega$-categorical and mutually algebraic. Second,…
We present a constructive method to compute the cellularization with respect to K(Z/p, m) for any integer m > 0 of a large class of H-spaces, namely all those which have a finite number of non-trivial K(Z/p, m)-homotopy groups (the pointed…
In this paper we consider the classification of minimal cellular structures of spaces of topological complexity two under some hypotheses on there graded cohomological algebra. This continues the method used by M.Grant et al. in [1].
The orbit polytope for a finite group G acting linearly and freely on a sphere S is used to construct a cellularized fundamental domain for the action. A resolution of the integers over G results from the associated G-equivariant…
Let $G$ be a Lie group, with an invariant non-degenerate symmetric bilinear form on its Lie algebra, let $\pi$ be the fundamental group of an orientable (real) surface $M$ with a finite number of punctures, and let $\bold C$ be a family of…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
We consider the space $\mathcal{M}_{2,1}$ --- the open moduli space of complex curves of genus 2 with one marked point. Using language of chord diagrams we describe the cell structure of $\mathcal{M}_{2,1}$ and cell adjacency. This allows…
We study the problem of computing the homology of the configuration spaces of a finite cell complex $X$. We proceed by viewing $X$, together with its subdivisions, as a subdivisional space--a kind of diagram object in a category of cell…
Cellular resolutions is a well studied topic on the level of single resolutions and certain specific families of cellular resolutions. One question coming out of the work on families is to understand the structure of cellular resolutions…
For several instances of metric largeness like enlargeability or having hyperspherical universal covers, we construct non-large vector subspaces in the rational homology of finitely generated groups. The functorial properties of this…
Let $p$ be a prime and let $\pi^n(X;\mathbb{Z}/p^r)=[X,M_n(\mathbb{Z}/p^r)]$ be the set of homotopy classes of based maps from CW-complexes $X$ into the mod $p^r$ Moore spaces $M_n(\mathbb{Z}/p^r)$ of degree $n$, where $\mathbb{Z}/p^r$…