Related papers: Presenting the topological stratified homotopy hyp…

In this paper we prove that for any simplicial set $B$, there is a Quillen equivalence between the covariant model structure on $\mathbf{S}/B$ and a certain localization of the projective model structure on the category of simplicial…

We give another definition of two-dimensional extended homotopy field theories (E-HFTs) with aspherical targets and classify them. When the target of E-HFT is chosen to be a $K(G,1)$-space, we classify E-HFTs taking values in the symmetric…

Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category…

For a field $k$ of characteristic $0$, we compare $k$-linear chain complexes, semisimplicial vector spaces, augmented semisimplicial vector spaces, semicubical vector spaces, and arboreal vector spaces through small differential categorical…

We extend the circle of ideas from a previous paper on hypersurfaces to functions $f \colon (\mathbb C^n, 0) \to (\mathbb C^k, 0)$ with an isolated singularity in a stratified sense on an arbitrary, but fixed complex analytic germ $(X, 0)$.…

Conically smooth spaces (CSSs), introduced by Ayala, Francis and Tanaka, constitute a large class of singular spaces including Whitney-stratified spaces. We reduce the stratified topology of CSSs over depth-$1$ posets to the ordinary…

The goal of this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\infty$-categorical approach, as developed by Lurie. Three…

Thin homotopies, introduced by Caetano-Picken, serve to axiomatize the holonomy of connections on principal bundles. This approach has been generalized to higher non-abelian bundles with connection through transport functors and higher…

By making use of Halperin's local systems over simplicial sets and the model structure of the category of diffeological spaces due to Kihara, we introduce a framework of rational homotopy theory for such smooth spaces with arbitrary…

The method of intersection spaces associates cell-complexes depending on a perversity to certain types of stratified pseudomanifolds in such a way that Poincar\'e duality holds between the ordinary rational cohomology groups of the…

We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy…

We give the definitions of model bicategory and $q$-homotopy, which are natural generalizations of the notions of model category and homotopy to the context of bicategories. For any model bicategory $\mathcal{C}$, denote by…

We study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has…

Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…

We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenza's result that the categories of topological…

We introduce a tangential theory for linked smooth manifolds of depth $1$, i.e., for spans $\mathfrak{S}=(M\overset{\pi}{\twoheadleftarrow} L\overset{\iota}{\hookrightarrow}N)$ of smooth manifolds where $\pi$ is a fibre bundle and $\iota$…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and…

We study a variation of Turaev's homotopy quantum field theories using 2-categories of surfaces. We define the homotopy surface 2-category of a space $X$ and define an $\cS_X$-structure to be a monoidal 2-functor from this to the 2-category…