Related papers: Spectra associated to symmetric monoidal bicategor…
In categorical realizability, it is common to construct categories of assemblies and categories of modest sets from applicative structures. These categories have structures corresponding to the structures of applicative structures. In the…
We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. As an application we…
We consider the Berglund-H\"ubsch transpose of a bimodal invertible polynomial and construct a triangulated category associated to the compactification of a suitable deformation of the singularity. This is done in such a way that the…
An E_1 (or A-infinity) ring spectrum R has a derived category of modules D_R. An E_2 structure on R endows D_R with a monoidal product. An E_3 structure on R endows the monoidal product with a braiding. If the E_3 structure extends to an…
A new, self-contained, proof of a coherence result for categories equipped with two symmetric monoidal structures bridged by a natural transformation is given. It is shown that this coherence result is sufficient for…
Transformation groupoids associated to group actions capture the interplay between global and local symmetries of structures described in set-theoretic terms. This paper examines the analogous situation for structures described in…
We model equivariant infinite loop spaces indexed on incomplete universes via suitable equivariant analogs of $\Gamma$-spaces. The choice of universe dictates a transfer system which in turn dictates the Segal condition on equivariant…
We develop the formal theory of monads, as established by Street, in univalent foundations. This allows us to formally reason about various kinds of monads on the right level of abstraction. In particular, we define the bicategory of monads…
We define a bicategory with \'etale, locally compact groupoids as objects and suitable correspondences, that is, spaces with two commuting actions as arrows; the 2-arrows are injective, equivariant continuous maps. We prove that the usual…
We develop the theory of tricategorical limits and colimits, and show that they can be modelled up to biequivalence via certain homotopically well-behaved limits and colimits enriched over the monoidal model category $\mathbf{Gray}$ of…
We define a category parameterizing Calabi-Yau algebra objects in an infinity category of spans. Using this category, we prove that there are equivalences of infinity categories relating, firstly: 2-Segal simplicial objects in C to algebra…
In this survey paper we give account of several approaches to the strictification and non-strictification of monoidal categories, which are constructions that turn a monoidal category into a (non-)strict one monoidally equivalent to the…
The group of continuous binary operations on a topological space is studied; its relationship with the group of homeomorphisms is established. The category of binary $G$-spaces and bi-equivariant maps is constructed, which is a natural…
This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant…
We explain the sense in which a warping on a monoidal category is the same as a pseudomonad on the corresponding one-object bicategory, and we describe extensions of this to the setting of skew monoidal categories: these are a…
We describe the Segal $K$-theory of the symmetric monoidal category of finite-dimensional vector spaces over a perfect field $\mathbb{F}$ together with an automorphism, or, equivalently, the group-completion of the $E_\infty$-algebra of…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
We classify $R$-spaces that admit a certain natural $\Gamma$-symmetric structure. We further determine the maximal antipodal sets of these structures.
The paper contains a survey of train constructions for infinite symmetric groups and related groups. For certain pairs (a group $G$, a subgroup $K$), we construct categories, whose morphisms are two-dimensional surfaces tiled by polygons…
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…