Related papers: Batanin higher groupoids and homotopy types

We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…

In this paper we address the classification problem for locally compact (n-1)-connected CW-complexes with dimension less or equal than n+2 up to proper homotopy type. We obtain complete classification theorems in terms of purely algebraic…

In this paper, I introduce weak representations of a Lie groupoid $G$. I also show that there is an equivalence of categories between the categories of 2-term representations up to homotopy and weak representations of $G$. Furthermore, I…

We prove that in a cocompact complex hyperbolic arithmetic lattice $\Gamma < {\rm PU}(m,1)$ of the simplest type, deep enough finite index subgroups admit plenty of homomorphisms to $\mathbb{Z}$ with kernel of type $\mathscr{F}_{m-1}$ but…

In this paper we introduce the category of strong Hopf modules for a weak Hopf quasigroup H in a braided monoidal category. We also prove that this category is equivalent to the category of right modules over the image of the target…

Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base…

In this paper, we prove that certain spherical fibrations over certain CW-complexes are stably fibre homotopy equivalent to $\mm{TOP}$-spherical fibrations (see Definition 1,1). Applying this result, we get a sufficient condition for…

We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types.

We give a new proof, using comparatively simple techniques, of the Sullivan conjecture: the space of pointed maps from the classifying space of the cyclic group of order $p$ to any finite-dimensional CW complex $K$ is contractible.

For every $\infty$-category $\mathscr{C}$, there is a homotopy $n$-category $\mathrm{h}_n \mathscr{C}$ and a canonical functor $\gamma_n \colon \mathscr{C} \to \mathrm{h}_n \mathscr{C}$. We study these higher homotopy categories, especially…

We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as…

A spatial refinement of Bar-Natan homology is given, that is, for any link diagram $D$ we construct a CW-spectrum $\mathcal{X}_{\mathit{BN}}(D)$ whose reduced cellular cochain complex gives the Bar-Natan complex of $D$. The stable homotopy…

An immersion $f : {\mathcal D} \rightarrow \mathcal C$ between $\Delta$-complexes is a $\Delta$-map that induces injections from star sets of $\mathcal D$ to star sets of $\mathcal C$. We study immersions between finite-dimensional…

We construct several pairings in Hopf-cyclic cohomology of (co)module (co)algebras with arbitrary coefficients. The key ideas instrumental in constructing these pairings are the derived functor interpretation of Hopf-cyclic and equivariant…

We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…

Higher category theory is an exceedingly active area of research, whose rapid growth has been driven by its penetration into a diverse range of scientific fields. Its influence extends through key mathematical disciplines, notably homotopy…

We construct second homotopy classes associated with twins of non-cancellative tuples of a monoid, where the monoid is defined by the semi-positive fundamental relations of the fundamental group of a CW-complex. As an application, we…

We construct certain unstable higher-order homotopy operations indexed by the simplex categories of $\Delta^{n}$ for ${n\geq 2}$ and prove that all elements in the homotopy groups of a wedge of spheres are generated under such operations by…

We show a Whitney Approximation Theorem for a continuous map from a manifold to a smooth CW complex. This enables us to show that a topological CW complex is homotopy equivalent to a smooth CW complex in a category of topological spaces. It…

We prove that the group of homotopy classes of relative homotopy automorphisms of a simply connected finite CW-complex is finitely presented and that the rationalization map from this group to its rational analogue has a finite kernel.