Related papers: Delooping presented groups in homotopy type theory

We extend the standard construction of the adjoint representation of a Lie groupoid to the case of an arbitrary higher Lie groupoid. As for a Lie groupoid, the adjoint representation of a higher Lie groupoid turns out to be a representation…

This paper aims to examine the version of the topological group structure in proximity and especially descriptive proximity spaces, that is, the concepts of proximal group and descriptive proximal group are introduced. In addition, the…

We develop a homotopy theory of $L_\infty$ algebras based on the Lawrence-Sullivan construction, a complete differential graded Lie algebra which, as we show, satisfies the necessary properties to become the right cylinder in this category.…

Deformation K-theory associates to each discrete group G a spectrum built from spaces of finite dimensional unitary representations of G. In all known examples, this spectrum is 2-periodic above the rational cohomological dimension of G…

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…

The aim of staged compilation is to enable metaprogramming in a way such that we have guarantees about the well-formedness of code output, and we can also mix together object-level and meta-level code in a concise and convenient manner. In…

We suggest a new delooping machine, which is based on recognizing an n-fold loop space by a collection of operations acting on it, like the traditional delooping machines of Stasheff, May, Boardman-Vogt, Segal, and Bousfield. Unlike in the…

We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point distributions supported at the identity of a Lie group with…

For G a finite group and X a G-space on which a normal subgroup A acts trivially, we show that the G-equivariant K-theory of X decomposes as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation…

The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new homotopy double groupoid of a map of spaces, which includes…

We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology…

The toric code can be constructed as a gauge theory of finite groups on oriented two dimensional lattices. Here we construct analogous models with the gauge fields belonging to groupoids, which are categories where every morphism has an…

Bergman has given the following abstract characterisation of the inner automorphisms of a group $G$: they are exactly those automorphisms of $G$ which can be extended functorially along any homomorphism $G \rightarrow H$ to an automorphism…

Let $f:X\to Y$ be a pointed map between connected CW-complexes. As a generalization of the evaluation subgroup $G_*(Y,X;f)$, we will define the {\it relaxed evaluation subgroup} ${\mathcal G}_*(Y,X;f)$ in the homotopy group $\pi_*(Y)$ of…

Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of Cech closure spaces $\mathbf{Cl}$, the category whose objects are sets endowed with a Cech closure operator and…

Cayley's theorem tells us that all groups $\mathbf{G}$ occur as subgroups of the group of automorphisms over some set $X$. In this paper we consider a `sort-of' converse to this question: given a set $X$ and some transformation group…

We calculate the higher homotopy groups of the Deligne-Getzler infinity-groupoid associated to a nilpotent L-infinity algebra. As an application, we present a new approach to the rational homotopy theory of mapping spaces.

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

Let $M$ be either $S^2\times S^2$ or the one point blow-up $\cp# \bcp$ of $\cp$. In both cases $M$ carries a family of symplectic forms $\om_\la$, where $\la > -1$ determines the cohomology class $[\om_\la]$. This paper calculates the…

For any finite group $G$, we define the notion of a Bredon homotopy action of $G$, modelled on the diagram of fixed point sets $(X_H)_{H\leq G}$ for a $G$-space $X$, together with a pointed homotopy action of the group $N_{G}H/H$ on…