Related papers: Stabilized profunctors and stable species of struc…
For a profinite group, we construct a model structure on profinite spaces and profinite spectra with a continuous action. This yields descent spectral sequences for the homotopy groups of homotopy fixed point space and for stable homotopy…
We prove that every finite direct product of crystallographic groups arising from an irreducible root system (in the sense of Lie theory) is profinitely rigid (equiv. first-order rigid). This is a generalization of recent proofs of…
A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes…
We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…
We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on the notion of strong dinaturality (also known as Barr…
Let $G$ be a connected reductive group, with connected center, and $X$ a smooth complete curve, both defined over an algebraically closed field of characteristic zero. Let $\operatorname{Bun}_G$ denote the stack of $G$-bundles on $X$. In…
We give a definition of an operad with general groups of equivariance suitable for use in any symmetric monoidal category with appropriate colimits. We then apply this notion to study the 2-category of algebras over an operad in Cat. We…
In the theory of crossed modules, considering arbitrary self-actions instead of conjugation allows for the extension of the concept of crossed modules and thus the notion of generalized crossed module emerges. In this paper we give a…
Large language models suffer from "hallucinations"-logical inconsistencies induced by semantic noise. We propose that current architectures operate in a "Metric Phase," where causal order is vulnerable to spontaneous symmetry breaking.…
The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…
In this paper, we present a generalization of Grothendieck pretopologies -- suited for semicartesian categories with equalizers $C$ -- leading to a closed monoidal category of sheaves, instead of closed cartesian category. This is proved…
In this work we construct a compactly generated tensor-triangulated stable category for a large class of infinite groups, including those in Kropholler's hierarchy $\mathrm{LH}\mathfrak{F}$. This can be constructed as the homotopy category…
When the action of a reductive group on a projective variety has a suitable linearisation, Mumford's geometric invariant theory (GIT) can be used to construct and study an associated quotient variety. In this article we describe how…
We associate to a bimonoidal functor, i.e. a bifunctor which is monoidal in each variable, a nonabelian version of a biextension. We show that such a biextension satisfies additional triviality conditions which make it a bilinear analog of…
We study a system of coupled phase oscillators near a saddle-node on an invariant circle bifurcation and driven by random intrinsic frequencies. Under the variation of control parameters, the system undergoes a phase transition changing the…
We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is…
We provide a bicategorical generalization of Barr's landmark 1970 paper, in which he describes how to extend Set-monads to relations and uses this to characterize topological spaces as the relational algebras of the ultrafilter monad. With…
We define a stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional formulas. The syntax of the language is the same as the syntax…
To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a…
We provide new $\infty$-categorical models for unstable and stable global homotopy theory. We use the notion of partially lax limits to formalize the idea that a global object is a collection of $G$-objects, one for each compact Lie group…