Related papers: Presenting the topological stratified homotopy hyp…

This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit…

Equivalence classes of gapped Hamiltonians compatible with given symmetry constraints, such as those underlying topological insulators, can be defined in many ways. For the non-chiral classes modelled by vector bundles over Brillouin tori,…

We construct a motivic homotopy theory for rigid analytic varieties with the rigid analytic affine line $\mathbb{A} ^1_\mathrm{rig}$ as an interval object. This motivic homotopy theory is inspired from, but not equal to, Ayoub's motivic…

We give structural results about bifibrations of (internal) $(\infty,1)$-categories with internal sums. This includes a higher version of Moens' Theorem, characterizing cartesian bifibrations with extensive aka stable and disjoint internal…

This work is a sequel to [arXiv:2410.18575], and a third and final installment of the program initiated in [arXiv:2311.18302]. We show how, via a 3d gauged Landau-Ginzburg model interpretation of certain topologically-twisted 5d…

Lie $n$-algebras are the $L_\infty$ analogs of chain Lie algebras from rational homotopy theory. Henriques showed that finite type Lie $n$-algebras can be integrated to produce certain simplicial Banach manifolds, known as Lie…

We adapt the classical framework of algebraic theories to work in the setting of (infinity,1)-categories developed by Joyal and Lurie. This gives a suitable approach for describing highly structured objects from homotopy theory. A central…

By considering homotopies that preserve the stratification, one obtains a natural notion of homotopy for stratified spaces. In this short note, we introduce invariants of stratified homotopy, the stratified homotopy groups. We show that…

In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of…

We adopt semimodel categories to extend fundamental results related to Bousfield localizations of model categories. More specifically, we generalize Bousfield-Friedlander Theorem and Hirschhorn Localization Theorem of cellular model…

Cofiltered diagrams of spectra, also called pro-spectra, have arisen in diverse areas, and to date have been treated in an ad hoc manner. The purpose of this paper is to systematically develop a homotopy theory of pro-spectra and to study…

We analyze a model for the homotopy theory of complete filtered $L_\infty$-algebras intended for applications in algebraic and algebro-geometric deformation theory. We provide an explicit proof of an unpublished result of E.\ Getzler which…

We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with respect to inner open boxes, the cubical…

We consider two categories related to symplectic manifolds: 1. Objects are symplectic manifolds and morphisms are symplectic embeddings. 2. Objects are symplectic manifolds endowed with compatible almost complex structure and morphisms are…

We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…

We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…

In this article we study the homotopy theory of pre-Calabi-Yau morphisms, viewing them as Maurer-Cartan elements of an $L_{\infty}$-algebra. We give two different notions of homotopy: a notion of weak homotopy for morphisms between…

Our main motivation for the work presented in this paper is to construct a localization functor, in a certain sense dual to the f-localization of Bousfield and Farjoun, and to study some of its properties. We succeed in a case which is…

An old theorem of Charney and Lee says that the classifying space of the category of stable nodal topological surfaces and isotopy classes of degenerations has the same rational homology as the Deligne-Mumford compactification. We give an…

Quillen showed that simplicial sets form a model category (with appropriate choices of three classes of morphisms), which organized the homotopy theory of simplicial sets. His proof is very difficult and uses even the classification theory…