Related papers: Homotopy fibrations with a section after looping

Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…

In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…

For locally homotopy trivial fibrations, one can define transition functions $$ g\dab : U\da\cap U\db \to H = H(F)$$ where $H$ is the monoid of homotopy equivalences of $F$ to itself but, instead of the cocycle condition, one obtains only…

In Chapter 1 we fully characterise pairs of finite graphs which form a gap in the full homomorphism order. This leads to a simple proof of the existence of generalised duality pairs. We also discuss how such results can be carried to…

The polytope structure of the associahedron is decomposed into two categories, types and classes. The classification of types is related to integer partitions, whereas the classes present a new combinatorial problem. We solve this and…

We study extensively the homotopy theory of coalgebras. By coalgebras, we mean the full theory of coalgebras: with counits and not necessarily locally conilpotent. For example $\mathcal E_\infty$-coalgebras, $\mathcal A_\infty$-coalgebras,…

James' sectional category and Farber's topological complexity are studied in a general and unified framework. We introduce `relative' and `strong relative' forms of the category for a map. We show that both can differ from sectional…

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…

In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category $\mathsf{C}$ of groups with operations using the categorical equivalence between crossed modules and internal categories in…

We announce a solution to several enumeration problems in topology of surfaces. This includes an enumeration of homotopy classes of sections of locally trivial fiber bundles over surfaces and a computation of non-abelian 1-cohomology of…

Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of…

The Hopf theorem states that homotopy classes of continuous maps from a closed connected oriented smooth $n$-manifold $M$ to the $n$-sphere are classified by their degree. Such a map is equivalent to a section of the trivial $n$-sphere…

We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization…

A new type of Hopf invariant is described for the fiber of the pinch map from the mapping cone of a map from A to X onto to the suspension of A; this is then used to study the boundary map in the fibration sequence of Cohen, Moore and…

We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…

We prove two kinds of fibering theorems for maps X --> P, where X and P are Poincare spaces. The special case of P = S^1 yields a Poincare duality analogue of the fibering theorem of Browder and Levine.

This paper presents two algorithms. In their simplest form, the first algorithm decides the existence of a pointed homotopy between given simplicial maps f, g from X to Y and the second computes the group $[\Sigma X,Y]^*$ of pointed…

We construct periodic families of Poincare complexes, partially solving a question of Hodgson that was posed in the proceedings of the 1982 Northwestern homotopy theory conference. We also construct infinite families of Poincare complexes…

Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic…

In this paper we present the notion of smooth CW complexes given by attaching cubes on the category of diffeological spaces, and we study their smooth homotopy structures related to the homotopy extension property.