Related papers: Batanin higher groupoids and homotopy types

We investigate one-point reduction methods of finite topological spaces. These methods allow one to study homotopy theory of cell complexes by means of elementary moves of their finite models. We also introduce the notion of h-regular…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small…

For each n\geq 1 we introduce two new Segal-type models of n-types of topological spaces: weakly globular n-fold groupoids, and a lax version of these. We show that any n-type can be represented up to homotopy by such models via an explicit…

In this paper, we define and study weak monoidal Hom-Hopf algebras, which generalize both weak Hopf algebras and monoidal Hom-Hopf algebras. If $H$ is a weak monoidal Hom-Hopf algebra with bijective antipode and let $Aut_{wmHH}(H)$ be the…

We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…

We expose the notion of noncommutative CW (NCCW) complexes, define noncommutative (NC) mapping cylinder and NC mapping cone, and prove the noncommutative Approximation Theorem. The long exact homotopy sequences associated with arbitrary…

The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite…

We show that the category of log homotopy types is a full subcategory of a category of homotopy types with modulus.

This thesis is devoted to the proof of a theorem showing the existence of a closed model category structure for weakly enriched categories. It requires first of all the definitions of weakly enriched categories and equivalences of weakly…

In this paper we show that a finite product preserving opfibration can be factorized through an opfibration with the same property, but with groupoidal fibres. If moreover the codomain is additive, one can endow each fibre of the new…

We describe CW decompositions of complex Lagrangian Grassmannians, that contain as subcomplexes, CW decompositions of real Lagrangian Grassmannians by Schubert-Arnol'd cells. The degrees of attaching maps are explicitly computed in terms of…

We extend the complete ordered set Dana Scott's $D_\infty$ to a complete weakly ordered Kan complex $K_\infty$, with properties that guarantee the non-equivalence of the interpretation of some higher conversions of $\beta\eta$-conversions…

We apply the yoga of classical homotopy theory to classification problems of G-extensions of fusion and braided fusion categories, where G is a finite group. Namely, we reduce such problems to classification (up to homotopy) of maps from BG…

We classify minimal extrinsically homogeneous submanifolds of complex hyperbolic spaces.

We introduce a new construction, the isotropy groupoid, to organize the orbit data for split $\Gamma$-spaces. We show that equivariant principal $G$-bundles over split $\Gamma$-CW complexes $X$ can be effectively classified by means of…

This is the fourth in a series of papers extending Martin-L\"of's meaning explanation of dependent type theory to higher-dimensional types. In this installment, we show how to define cubical type systems supporting a general schema of…

We introduce constructible directed complexes, a combinatorial presentation of higher categories inspired by constructible complexes in poset topology. Constructible directed complexes with a greatest element, called atoms, encompass common…

Lumsdaine (2010) and van den Berg-Garner (2011) proved that types in Martin-L\"of type theory carry the structure of weak {\omega}-groupoids. Their proofs, while foundational, rely on abstract properties of the identity type without…

This paper is subsequent to [5]. In this paper, we extend the classification of hyperbolic Dehn fillings with sufficiently large coefficients by addressing the remaining case not covered in [5]. Specifically, by considering the case in…