Related papers: Synthetic Spectra via a Monadic and Comonadic Moda…
We describe spectral model category structures on the categories of cyclotomic spectra and $p$-cyclotomic spectra (in orthogonal spectra) with triangulated homotopy categories. We show that the functors $TR$ and $TC$ are corepresentable in…
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…
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…
The aim of this paper is to show that Besser syntomic cohomology is representable by a rational ring spectrum in the motivic homotopical sense. In fact, extending previous constructions, we exhibit a simple representability criterion and we…
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…
Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…
We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…
The goal of this dissertation is to present synthetic homotopy theory in the setting of homotopy type theory. We will present various results in this framework, most notably the construction of the Atiyah-Hirzebruch and Serre spectral…
The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…
In previous work ("From signatures to monads in UniMath"), we described a category-theoretic construction of abstract syntax from a signature, mechanized in the UniMath library based on the Coq proof assistant. In the present work, we…
We extend the Cohen-Jones-Segal construction of stable homotopy types associated to flow categories of Morse-Smale functions $f$ to the setting where $f$ is equivariant under a finite group action and is Morse but no longer Morse-Smale.…
We give rigorous foundations for parametrized homotopy theory in this monograph. After preliminaries on point-set topology, base change functors, and proper actions of non-compact Lie groups, we develop the homotopy theory of equivariant…
We define a monodromy, directly from the spectrum of small non-selfadjoint perturbations of a selfadjoint semiclassical operator with two degrees of freedom, which is classically integrable. It is a combinatorial invariant that obstructs…
We show that the $\infty$-category of synthetic spectra based on Morava E-theory is generated by the bigraded spheres and identify it with the $\infty$-category of modules over a filtered ring spectrum. The latter we show using a general…
In this work we construct from ground up a homotopy theory of C*-algebras. This is achieved in parallel with the development of classical homotopy theory by first introducing an unstable model structure and second a stable model structure.…
As a continuation of our previous work \cite{KV2} the aim of the recent paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral synthesis in translation invariant closed linear subspaces…
We prove that every stable, combinatorial model category has a natural enrichment by symmetric spectra (or more precisely, a natural equivalence class of enrichments). This in some sense generalizes the simplicial enrichments of model…
We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.
Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg-Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is 'essentially…
We establish model category structures on algebras and modules over operads in symmetric spectra, and study when a morphism of operads induces a Quillen equivalence between corresponding categories of algebras (resp. modules) over operads.