Related papers: Kan replacement of simplicial manifolds

We study Lie foliations on compact manifolds, in case the Lie group is compact. Our main results improve Tischler classical result on the existence of fibration and, as an application, we study the case the manifold has an amenable…

We investigate fundamental properties of adjoint functors to the precomposition functor in the category of strict polynomial functors.

Actions of bicategories arise as categorification of actions of categories. They appear in a variety of different contexts in mathematics, from Moerdijk's classification of regular Lie groupoids in foliation theory, to Waldmann's work on…

We describe simple criteria under which a given functor is naturally equivalent to an enriched one. We do this for several bases of enrichment, namely (pointed) simplicial sets, (pointed) topological spaces and orthogonal spectra. We also…

We study locally constant coefficients. We first study the theory of homotopy Kan extensions with locally constant coefficients in model categories, and explain how it characterizes the homotopy theory of small categories. We explain how to…

We introduce a notion of ``$n$-dual'' to a simplicial vector space for $n\ge 0$. Coming with it, there is a canonical pairing, which we show to be non-degenerate up to homotopy for homotopy $n$-types. As a result this notion of duality is…

In this paper, the 2-group BAut(X) of automorphisms of a Lie groupoid X is constructed. Considering the 2-group G action on X, we explain the equivalence between 2-group homomorphisms from G to BAut(X) with Kan fibrations over G with fiber…

In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicial categories, can be considered to be models for…

We study the 2-category of elements from an abstract point of view. We generalize to dimension 2 the well-known result that the category of elements can be captured by a comma object that also exhibits a pointwise left Kan extension. For…

We construct a duality functor on the category of continuous representations of linearly compact Lie superalgebras, using representation theory of Lie conformal superalgebras. We compute the dual representations of the generalized Verma…

We use pointwise Kan extensions to generate new subcategories out of old ones. We investigate the properties of these newly produced categories and give sufficient conditions for their cartesian closedness to hold. Our methods are of…

A semisimplicial set has face maps but not degeneracies. A basic fact, due to Rourke and Sanderson, is that a semisimplicial set satisfying the Kan condition can be given a simplicial structure. The present paper gives a combinatorial proof…

Let $M$ be a smooth manifold and $K\subset M$ be a simplicial complex of codimension at least 3. Functor calculus methods lead to a homotopical formula of $M\setminus K$ in terms of spaces $M\setminus T$ where $T$ is a finite subset of $K$.…

Let K be a subset of a smooth manifold M. In some cases functor calculus methods lead to a homotopical formula for M minus K in terms of the subspaces M minus S, where S runs through the finite subsets of K.

We construct a finite-dimensional higher Lie groupoid integrating a singular foliation $\mathcal{F}$, under the mild assumption that the latter admits a geometric resolution. More precisely, a recursive use of bi-submersions, a tool coming…

We study Kan extensions in three weakenings of the Eilenberg-Moore double category associated to a double monad, that was introduced by Grandis and Par\'e. To be precise, given a normal oplax double monad $T$ on a double category $\mathcal…

In a series of papers, we have shown that from the representation theory of a compact groupoid one can reconstruct the groupoid using the procedure similar to the Tannaka-Krein duality for compact groups. In this part we study the Fourier…

We will show make two contributions to the theory of effective Kan fibrations, which are a more explicit version of the notion of a Kan fibration, a notion which plays a fundamental role in simplicial homotopy theory. We will show that…

For a Kan complex with a vertex, we have the notion of its simplicial homotopy groups. In this paper, for a weak complicial set in the sense of Verity with a vertex, we construct monoids which are a generalization of simplicial homotopy…

Kan extensions provide a natural general framework for a variety of combinatorial problems. We have developed rewriting procedures for Kan extensions (over the category of sets) and this enables one program to address a wide range of…