Related papers: Synthetic Spectra via a Monadic and Comonadic Moda…

Let $M$ be a monoid and $G:\mathbf{Mon} \to \mathbf{Grp}$ be the group completion functor from monoids to groups. Given a collection $\mathcal{X}$ of submonoids of $M$ and for each $N\in \mathcal{X}$ a collection $\mathcal{Y}_N$ of…

We introduce an operadic notion of spectrum for algebras over colored operads in a symmetric monoidal category. The construction is defined via a canonical Hochschild-type object together with an operadic residue, which together encode…

We introduce a notion of compatibility between constraint encoding and compositional structure. Phrased in the language of category theory, it is given by a "composable constraint encoding". We show that every composable constraint encoding…

We study some model-theoretic notions in NIP by means of spectral topology. In the o-minimal setting we relate the o-minimal spectrum with other topological spaces such as the real spectrum and the space of infinitesimal types of Peterzil…

In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant…

We introduce a comprehensive framework for subordinacy theory applicable to long-range operators on $\ell^2(\mathbb Z)$, bridging dynamical systems and spectral analysis. For finite-range operators, we establish a correspondence between the…

We construct a relative Hodge-Tate spectral sequence for any smooth proper morphism of rigid analytic spaces over a perfectoid field extension of $\mathbb Q_p$. To this end, we generalise Scholze's strategy in the absolute case by using…

Suppose we are given a graph and want to show a property for all its cycles (closed chains). Induction on the length of cycles does not work since sub-chains of a cycle are not necessarily closed. This paper derives a principle reminiscent…

We develop a stable analogue to the theory of cosimplicial frames in model cagegories; this is used to enrich all homotopy categories of stable model categories over the usual stable homotopy category and to give a different description of…

Regular sequences are natural generalisations of fixed points of constant-length substitutions on finite alphabets, that is, of automatic sequences. Using the harmonic analysis of measures associated with substitutions as motivation, we…

We build a spectral sequence converging to the cohomology of a fusion system with a strongly closed subgroup. This spectral sequence is related to the Lyndon-Hochschild-Serre spectral sequence and coincides with it for the case of an…

We define the derived category of a concrete category in a way which extends the usual definition of the derived category of a ring, and we prove that the bounded-below derived category of $\Spec \mathbb{M}_0$ (an approximation, used by…

There are multiple ways to formalise the metatheory of type theory. For some purposes, it is enough to consider specific models of a type theory, but sometimes it is necessary to refer to the syntax, for example in proofs of canonicity and…

We study spectral synthesis for measures supported on thin subsets of compact Riemannian manifolds. We prove that under natural non-concentration conditions, such measures admit quantitative spectral synthesis, with explicit stability…

We give a natural construction and a direct proof of the Adams isomorphism for equivariant orthogonal spectra. More precisely, for any finite group G, any normal subgroup N of G, and any orthogonal G-spectrum X, we construct a natural map A…

This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable…

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

We give an alternative treatment of the foundations of parametrized spectra, with an eye toward applications in fixed-point theory. We cover most of the central results from the book of May and Sigurdsson, sometimes with weaker hypotheses,…

Codensity monads provide a universal method to generate complex monads from simple functors. Recently, a wide range of important monads in logic, denotational semantics, and probabilistic computation, such as several incarnations of the…