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

Recently discovered domain-specific formal systems -- specifically homotopy type theory and simplicial type theory -- provide new perspectives on spaces and categories in a natively equivalence-invariant setting. In this note, we expose…

Hyperspaces form a powerful tool in some branches of mathematics: lots of fractal and other geometric objects can be viewed as fixed points of some functions in suitable hyperspaces - as well as interesting classes of formal languages in…

We survey foundational principles of Grothendieck's generalized spaces, including a critical glossary of the various, and often conflicting, terminological usages. Known results using generalized points support a fully pointwise notation…

An orbit polytope is the convex hull of an orbit under a finite group $G \leq \operatorname{GL}(d,\mathbb{R})$. We develop a general theory of possible affine symmetry groups of orbit polytopes. For every group, we define an open and dense…

We show that the homotopy theories of differential graded categories and $\mathrm{A}_\infty$-categories over a field are equivalent at the $(\infty,1)$-categorical level. The results are corollaries of a theorem of Canonaco-Ornaghi-Stellari…

In this paper we prove that various quasi-categories whose objects are $\infty$-categories in a very general sense are complete: admitting limits indexed by all simplicial sets. This result and others of a similar flavor follow from a…

This note records that the Langlands parameter spaces, associated by Adams- Barbasch-Vogan to a real group, may be described as homotopy fixed points (fixed point stacks) of the spaces associated to the corresponding complex group.

Orbit-finite sets are a generalisation of finite sets, and as such support many operations allowed for finite sets, such as pairing, quotienting, or taking subsets. However, they do not support function spaces, i.e. if X and Y are…

Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical change-of-basepoint isomorphisms between homotopy groups. There…

The configuration space of k points on a manifold carries an action of its diffeomorphism group. The homotopy quotient of this action is equivalent to the classifying space of diffeomorphisms of a punctured manifold, and therefore admits…

We introduce the class of $\theta^{n}$-Urysohn spaces and the $n$-$\theta$-closure operator. $\theta^n$-Urysohn spaces generalize the notion of a Urysohn space. We estabilish bounds on the cardinality of these spaces and cardinality bounds…

We show that a category $\mathscr{M}$ equipped with a model structure defined by a proper, locally small class of orbits $\mathscr{O}$ is Quillen equivalent to the category of small relative presheaves…

For Gamma a finite, connected metric graph, we consider the space of configurations of n points in Gamma with a restraint parameter r dictating the minimum distance allowed between each pair of points. These restricted configuration spaces…

We consider homogeneous spaces of Lie groups with compact stabilizer subgroups of two types: those with integrable invariant distributions and those with geodesic orbit invariant Riemannian metrics. The latter means that for an arbitrary…

Riemannian geodesic orbit spaces (G/H,g) are natural generalizations of symmetric spaces, defined by the property that their geodesics are orbits of one-parameter subgroups of G. We study the geodesic orbit spaces of the form (G/S,g), where…

We formulate and prove a new variant of the Segal Conjecture describing the group of homotopy classes of stable maps from the p-completed classifying space of a finite group G to the classifying space of a compact Lie group K as the p-adic…

This article studies a large, general class of orthogonal polytopes which we may call "generic orthotopes". These objects emerged from a desire to represent a Coxeter complex by an orthogonal polytope that is particularly nice with respect…

A systematic study of closed classical orbits of the hydrogen atom in crossed electric and magnetic fields is presented. We develop a local bifurcation theory for closed orbits which is analogous to the well-known bifurcation theory for…

We generalise some results of R. E. Stong concerning finite spaces to wider subclasses of Alexandroff spaces. These include theorems on function spaces, cores and homotopy type. In particular, we characterize pairs of spaces X,Y such that…

We prove a result that enables us to calculate the rational homotopy of a wide class of spaces by the theory of minimal models.