Related papers: Kan replacement of simplicial manifolds

It is shown that every two-variable adjunction in categories enriched in a commutative quantale serves as a base for constructing Isbell adjunctions between functor categories, and Kan adjunctions are precisely Isbell adjunctions…

Several methods have been proposed to define tangent spaces for diffeological spaces. Among them, the internal tangent functor is obtained as the left Kan extension of the tangent functor for manifolds. However, the right Kan extension of…

We study the local functor of points (which we call the Weil-Berezin functor) for smooth supermanifolds, providing a characterization, representability theorems and applications to differential calculus.

We deal with the symmetries of a (2-term) graded vector space or bundle. Our first theorem shows that they define a (strict) Lie 2-groupoid in a natural way. Our second theorem explores the construction of nerves for Lie 2-categories,…

We construct a weak 2-functor from the bicategory of oriented tangles to a bicategory of Lagrangian cospans. This functor simultaneously extends the Burau representation of the braid groups, its generalization to tangles due to Turaev and…

Associated to each small category $C$, there is a category of $C$-shaped diagrams of simplicial sets and an $\infty$-category of $NC$-shaped homotopy coherent diagrams of spaces. We present a functor which exhibits the latter as the…

Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and…

In this paper we develop the $A_\infty$-analog of the Maurer-Cartan simplicial set associated to an $L_\infty$-algebra and show how we can use this to study the deformation theory of $\infty$-morphisms of algebras over non-symmetric…

We characterize simplicial localization functors among relative functors from relative categories to simplicial categories as any choice of homotopy inverse to the delocalization functor of Dwyer and the second author.

We construct a functor from the Hecke category to a groupoid built from the underlying Coxeter group. This fixes a gap in an earlier work of the authors. This functor provides an abstract realization of the localization of the Hecke…

For each n\geq 1 we introduce two new Segal-type models of n-types of topological spaces: weakly globular n-fold groupoids, and a lax version of these. We show that any n-type can be represented up to homotopy by such models via an explicit…

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…

To any non-negatively graded dg Lie algebra $g$ over a field $k$ of characteristic zero we assign a functor $\Sigma_g: art/k \to Kan$ from the category of commutative local artinian $k$-algebras with the residue field $k$ to the category of…

Groupoidification is a form of categorification in which vector spaces are replaced by groupoids, and linear operators are replaced by spans of groupoids. We introduce this idea with a detailed exposition of 'degroupoidification': a…

We upgrade the classical operation of \textit{isomonodromic deformations} along a path $\gamma$ to a functor $\mathbb{P}_{\gamma}$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself…

A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…

We consider the problem of integration of L_\infty-algebroids (differential graded manifolds) to L_\infty-groupoids. We first construct a "big" Kan simplicial manifold (Fr\'echet or Banach) whose points are solutions of a (generalized)…

Categories can be identified -- up to isomorphism -- with polynomial comonads on Set. The left Kan extension of a functor along itself is always a comonad -- called the density comonad -- so it defines a category when its carrier is…

We prove that the 2-category of action Lie groupoids localised in the following three different ways yield equivalent bicategories: localising at equivariant weak equivalences \`a la Pronk, localising using surjective submersive equivariant…

We give an elementary construction of a certain class of model structures. In particular, we rederive the Kan model structure on simplicial sets without the use of topological spaces, minimal complexes, or any concrete model of fibrant…