Related papers: Configurations spaces and Theta_n

An n-category is some sort of algebraic structure consisting of objects, morphisms between objects, 2-morphisms between morphisms, and so on up to n-morphisms, together with various ways of composing them. We survey various concepts of…

Motivated by the study of the interrelation between functorial and algebraic quantum field theory, we point out that on any locally trivial bundle of compact groups, representations up to homotopy are enough to separate points by means of…

We develop foundations for oriented category theory, an extension of $(\infty,\infty)$-category theory obtained by systematic usage of the Gray tensor product, in order to study lax phenomena in higher category theory. As categorical…

This article surveys the use of configuration space integrals in the study of the topology of knot and link spaces. The main focus is the exposition of how these integrals produce finite type invariants of classical knots and links. More…

A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous…

In this paper, we discuss the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves. One construction proceeds via Brown representability and provides a classification in the pointed model category.…

We develop the basic theory of Maurer-Cartan simplicial sets associated to (shifted complete) $L_\infty$ algebras equipped with the action of a finite group. Our main result asserts that the inclusion of the fixed points of this equivariant…

Theorem (after Giraud, SGA 4): Suppose $A$ is a simplicial category. The following conditions are equivalent: (i) There is a cofibrantly generated closed model category $M$ such that $A$ is equivalent to the Dwyer-Kan simplicial…

Homotopy type theory is a version of Martin-L\"of type theory taking advantage of its homotopical models. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types. In this…

Let $T$ be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of $\mathsf{Mod}(T)$ to be homotopically equivalent to $\mathbb{CP}^\infty$. In particular,…

We introduce and study the proper topological complexity of a given configuration space, a version of the classical invariant for which we require that the algorithm controlling the motion is able to avoid any possible choice of ``unsafe''…

We study configuration spaces of hard spheres in a bounded region. We develop a general Morse-theoretic framework, and show that mechanically balanced configurations play the role of critical points. As an application, we find the precise…

For a path-connected space X, a well-known theorem of Segal, May and Milgram asserts that the configuration space of finite points in R^n with labels in X is weakly homotopy equivalent to the n-th loop-suspension of X. In this paper, we…

Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…

Invited contribution to the Encyclopedia of Mathematical Physics. We give an introduction to the homotopical theory of higher categories, focused on motivating the definitions of the basic objects, namely $\infty$-categories and…

We provide a generalized treatment of (co)cartesian arrows, fibrations, and functors. Compared to the classical conditions, the endpoint inclusions get replaced by arbitrary shape inclusions. Our framework is Riehl--Shulman's simplicial…

We prove that the category of models of any relational Horn theory satisfying a mild syntactic condition is infinitely extensive. Central examples of such categories include the categories of preordered sets and partially ordered sets, and…

We give a direct proof that middle mapping spaces in coherent nerves of Kan enriched categories have the same homotopy type as the original mapping spaces.

In this paper configuration spaces of smooth manifolds are considered. The accent is made on actions of certain groups (mostly $p$-tori) on this spaces by permuting their points. For such spaces the cohomological index, the genus in the…

We explore connections between homotopy type theory and information theory through homotopy cardinality. We define probability types and random variable types, prove that homotopy cardinality respects dependent sums under truncation and…