Related papers: A Global Model Structure for $\mathbb{K}$-Linear $…
In this article, we extend Sullivan's PL de Rham theory to obtain simple algebraic models for the rational homotopy theory of parametrised spectra. This simplifies and complements the results of arXiv:1910.14608, which are based on…
In order to treat multiplicative phenomena in twisted (co)homology, we introduce a new point-set level framework for parametrized homotopy theory. We provide a convolution smash product that descends to the corresponding…
Generalized splines are a simultaneous generalization of GKM theory -- which studies equivariant cohomology -- and classical splines, which provide piecewise approximations of functions. Generalized splines can also be understood via…
We develop the foundations of $G$-global homotopy theory as a synthesis of classical equivariant homotopy theory on the one hand and global homotopy theory in the sense of Schwede on the other hand. Using this framework, we then introduce…
We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in…
In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…
A framework which combines ideas from Connes' noncommutative geometry, or spectral geometry, with recent ideas on generally covariant quantum field theory, is proposed in the present work. A certain type of spectral geometries modelling…
We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We…
Awodey, later with Newstead, showed how polynomial functors with extra structure (termed ``natural models'') hold within them the categorical semantics for dependent type theory. Their work presented these ideas clearly but ultimately led…
By a theorem of Mandell-May-Schwede-Shipley the stable homotopy theory of classical $S^1$-spectra is recovered from orthogonal spectra. In this paper general linear, special linear, symplectic, orthogonal and special orthogonal motivic…
We show that the homotopy category of a combinatorial stable model category $\ck$ is well generated. It means that each object $K$ of $\Ho(\ck)$ is an iterated weak colimit of $\lambda$-compact objects for some cardinal $\lambda$. A natural…
We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal…
Theories of localised pattern formation are important to understand a broad range of natural patterns, but are less well-understood than more established mechanisms of domain-filling pattern formation. Here, we extend recent work on pattern…
A mathematical model of figure-ground articulation is presented, taking into account both local and global gestalt laws. The model is compatible with the functional architecture of the primary visual cortex (V1). Particularly the local…
We study the logarithmic topological Hochschild homology of ring spectra with logarithmic structures and establish localization sequences for this theory. Our results apply, for example, to connective covers of periodic ring spectra like…
We introduce global model categories as a general framework to capture several phenomena in global equivariant homotopy theory. We then construct genuine stabilizations of these, generalizing the usual passage from unstable to stable global…
The field of world modeling is fragmented, with researchers developing bespoke architectures that rarely build upon each other. We propose a framework that specifies the natural building blocks for structured world models based on the…
Given a compact K\"ahler manifold, Geometric Invariant Theory is applied to construct analytic GIT-quotients that are local models for a classifying space of (poly)stable holomorphic vector bundles containing the coarse moduli space of…
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…
In this paper, we present a homotopical framework for studying invertible gapped phases of matter from the point of view of infinite spin lattice systems, using the framework of algebraic quantum mechanics. We define the notion of quantum…