Related papers: Orbit categories, classifying spaces, and generali…

We develop the theory of limits and colimits in $\infty$-categories within the synthetic framework of simplicial Homotopy Type Theory developed by Riehl and Shulman. We also show that in this setting, the limit of a family of spaces can be…

A rotation in a Euclidean space V is an orthogonal map on V which acts locally as a plane rotation with some fixed angle. We give a classification of all pairs of rotations in finite-dimensional Euclidean space, up to simultaneous…

In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of…

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

We introduce the notion of Grothendieck heaps for unpointed Waldhausen categories and unpointed stable $\infty$-categories. This allows an extension of the studies of $\mathrm{K}_0$ to the homotopy category of unpointed topological spaces.

In this article we consider a restricted orbital counting problem for the action of certain discrete groups on suitable spaces. In particular, we present asymptotics for counting those points in an orbit restricted to a single conjugacy…

The aim of this paper is to introduce the concepts of homotopical smallness and closeness. These are the properties of homotopical classes of maps that are related to recent developments in homotopy theory and to the construction of…

This is an expository article about operads in homotopy theory written as a chapter for an upcoming book. It concentrates on what the author views as the basic topics in the homotopy theory of operadic algebras: the definition of operads,…

The goal of this paper is to prove that the classifying spaces of categories of algebras governed by a prop can be determined by using function spaces on the category of props. We first consider a function space of props to define the…

In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on…

The notion of $\times$-homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space $\Hom_*(G,H)$ with the…

We determine explicitly the stable homotopy groups of Moore spaces up to the range 7, using an equivalence of categories which allows to consider each Moore space as an exact couple of $\mathbb Z$-modules.

Let G be a finite group and p a prime dividing its order. We define new collections of p-subgroups of G. We study the homotopy relations among them and with the standard collections of p-subgroups. We determine their ampleness and sharpness…

We propose a formal definition of a general reference frame in a general spacetime, as an equivalence class of charts. This formal definition corresponds with the notion of a reference frame as being a (fictitious) deformable body, but we…

Let $G$ be a compact connected Lie group with $\pi_1(G)\cong\mathbb{Z}$. We study the homotopy types of gauge groups of principal $G$-bundles over Riemann surfaces. This can be applied to an explicit computation of the homotopy groups of…

This paper is a continuation of arXiv:1201.1102. We investigate the orbit closures for the class of representations of simple algebraic groups associated to various gradings on the simple Lie algebra of type $E_7$. The methods for…

We give a homotopy theoretical characterization of generalized Eilenberg-Mac Lane spaces, modeled after Segal's characterization of infinite loop spaces via Gamma spaces.

This is an introduction to type theory, synthetic topology, and homotopy type theory from a category-theoretic and topological point of view, written as a chapter for the book "New Spaces for Mathematics and Physics" (ed. Gabriel Catren and…

We show that the category of truncated spaces with finite homotopy invariants ($\pi$\=/finite spaces) has many of the features expected of an elementary \oo topos. It should be thought of as the natural higher analogue of the elementary…

This paper develops a basic theory of H-groups. We introduce a special quotient of H-groups and extend some algebraic constructions of topological groups to the category of H-groups and H-maps. We use these constructions to prove some…