Related papers: Medial Commutativity

Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…

We show that contrary to common belief in the DisCoCat community, a monoidal category is all that is needed to define a categorical compositional model of natural language. This relies on a construction which freely adds adjoints to a…

We develop a classification of perfectly transmitting resonances occuring in effectively one-dimensional optical media which are decomposable into locally reflection symmetric parts. The local symmetries of the medium are shown to yield…

We construct for every $\infty$-operad $\mathcal{O}^\otimes$ with certain finite limits new $\infty$-operads of spectrum objects and of commutative group objects in $\mathcal{O}$. We show that these are the universal stable resp. additive…

It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…

Let $Q$ denote MacLane's $Q$-construction, and $\otimes$ denote the smash product of spectra. In this paper we construct an equivalence $Q(R)\simeq \mathbb Z\otimes R$ in the category of $A_\infty$ ring spectra for any ring $R$, thus…

We develop formulas that define permutahedral commutation coherence relations of all orders. To illustrate the result geometrically, we begin by defining a rigid transformation of the $(n+1)$-permutahedron into a $n$-cube of dimensions $1…

We define a tensor product for permutative categories and prove a number of key properties. We show that this product makes the 2-category of permutative categories closed symmetric monoidal as a bicategory.

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 the design and analysis of composite materials based on periodic arrangements of sub-units it is of paramount importance to control the emergent material symmetry in relation to the elastic response. The target material symmetry plays…

We show how DG categories arise naturally in noncommutative differential geometry and use them to derive noncommutative analogues of the Bianchi identities for the curvature of a connection. We also give a derivation of formulae for…

We consider the category of C*-algebras equipped with actions of a locally compact quantum group. We show that this category admits a monoidal structure satisfying certain natural conditions if and only if the group is quasitriangular. The…

We identify natural symmetries of each rigid higher braided category. Specifically, we construct a functorial action by the continuous group $\Omega \mathsf{O}(n)$ on each $\mathcal{E}_{n-1}$-monoidal $(g,d)$-category $\mathcal{R}$ in which…

This note remarks that the correspondence between non-unital algebras and augmented unital algebras can be derived from Hovey's Smith ideal theory. Applying Smith ideal theory of stable symmetric monoidal model category, we formulate…

We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric…

We prove definable versions of the Universal Coefficient Theorems of Eilenberg--Mac Lane expressing the (Steenrod) homology groups of a compact metrizable space in terms of its integral cohomology groups, and the (\v{C}ech) cohomology…

Unimodal (i.e. single-humped) permutations may be decomposed into a product of disjoint cycles. Some enumerative results concerning their cyclic structure -- e.g. 2/3 of them contain fixed points -- are given. We also obtain in effect a…

The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…

We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…

We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from…