Related papers: Toward a strictification theorem for co-Segal cate…
We show that Segal spaces, and more generally category objects in an $\infty$-category $\mathcal{C}$, can be identified with associative algebras in the double $\infty$-category of spans in $\mathcal{C}$. We use this observation to prove…
We give an alternative presentation of braided monoidal categories. Instead of the usual associativity and braiding we have just one constraint (the b-structure). In the unital case, the coherence conditions for a b-structure are shown to…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
In this article we develop the cotangent complex and (co)homology theories for spectral categories. Along the way, we reproduce standard model structures on spectral categories. As applications, we show that the invariants to descend to…
In this paper we introduce a strict monoidal subcategory of the category of matrices, suitable to address a higher representation theoretic analogue of radicals (non-semisimplicity) in ordinary representation theory. We show the extent to…
In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category $\mathcal{C}$ endowed with a symmetric $2$-trace, one can attach a cyclic (resp. cocyclic)…
In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical…
We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the…
We describe an isomorphism of categories conjectured by Kontsevich. If $M$ and $\widetilde{M}$ are mirror pairs then the conjectural equivalence is between the derived category of coherent sheaves on $M$ and a suitable version of Fukaya's…
We present Trimble's definition of a tetracategory and prove that the spans in (strict) 2-categories with certain limits have the structure of a monoidal tricategory, defined as a one-object tetracategory. We recall some notions of limits…
A topological commutative ring is said to be rigid when for every set $X$, the topological dual of the $X$-fold topological product of the ring is isomorphic to the free module over $X$. Examples are fields with a ring topology, discrete…
We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model…
Using the category of finite sets and injections, we construct a new model for the multilinearization of multifunctors between spaces that appears in the derivatives of Goodwillie calculus. We show that this model yields a lax monoidal…
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…
Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a…
We instal homological algebra, including derived functors, on certain non-additive categories like categories of pointed CW-complexes, modules of monoids or sheaves thereof. We apply this theory to Monoid schemes and sheaves on them,…
We study categories whose objects are the braid representations, i.e. strict monoidal functors $F\colon B\rightarrow Mat$ from the braid category $B$ to the category of matrices $Mat$. Braid representations are equivalent to solutions to…
We prove coherence theorems for dualizable objects in monoidal bicategories and for fully dualizable objects in symmetric monoidal bicategories, describing coherent dual pairs and coherent fully dual pairs. These are property-like…
We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…
Category theoretic aspects of non-rational conformal field theories are discussed. We consider the case that the category C of chiral sectors is a finite tensor category, i.e. a rigid monoidal category whose class of objects has certain…