Related papers: Presenting the topological stratified homotopy hyp…
Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…
We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the…
We propose an axiomatic characterization of coarse homology theories defined on the category of bornological coarse spaces. We construct a category of motivic coarse spectra. Our focus is the classification of coarse homology theories and…
In the first part of the paper, we prove that the category of diffeological spaces does not admit a model structure transferred via the smooth singular complex functor from simplicial sets, resolving in the negative a conjecture of…
This work originates from chapters V and VII of Grothendieck's manuscript Pursuing Stacks, which contains a series of questions, as well as a previously unexplored formalism, concerning the interactions between the notion of test categories…
We construct two algebraic versions of homotopy theory of rational disconnected topological spaces, one based on differential graded commutative associative algebras and the other one on complete differential graded Lie algebras. As an…
Algebraic $kk$-theory, introduced by Corti\~nas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor…
Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…
We show how one can define novel gauge-theoretic Floer homologies of four, three, and two-manifolds from the physics of a certain topologically-twisted 5d ${\cal N}=2$ gauge theory via its supersymmetric quantum mechanics interpretation.…
We give a direct proof of the fact that Lurie's Unstraightening functor induces an equivalence between the strict $(\infty,2)$-category of indexed quasi-categories and the strict $(\infty,2)$-category of fibered quasi-categories over any…
This work solves the problem of elaborating Ganea and Whitehead definitions for the tangential category of a foliated manifold. We develop these two notions in the category $\Tops$ of stratified spaces, that are topological spaces $X$…
We prove a version of Quillen's stratification theorem in equivariant homotopy theory for a finite group $G$, generalizing the classical theorem in two directions. Firstly, we work with arbitrary commutative equivariant ring spectra as…
In the Hamiltonian approach on a single spatial plaquette, we construct a quantum (lattice) gauge theory which incorporates the classical singularities. The reduced phase space is a stratified K\"ahler space, and we make explicit the…
In 1984, Charney and Lee defined a category of stable curves and exhibited a rational homology equivalence from its geometric realisation to (the analytification of) the moduli stack of stable curves, also known as the…
We introduce a discrete cobordism category for nested manifolds and nested cobordisms between them. A variation of stratified Morse theory applies in this case, and yields generators for a general nested cobordism category. Restricting to a…
In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of \'etale homotopy. Using this model structure we define a pro-space associated to a topos, as a result…
In this paper we develop homology and cohomology theories which play the same role for real projective varieties that Lawson homology and morphic cohomology play for projective varieties respectively. They have nice properties such as the…
In the study of stratified spaces it is useful to examine spaces of popaths (paths which travel from lower strata to higher strata) and holinks (those spaces of popaths which immediately leave a lower stratum for their final stratum…
The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…
We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial…