Related papers: The Heyneman-Radford Theorem for Monoidal Categori…
We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of $\Gamma$-objects in 2-categories. In the course of the proof we establish strictfication…
We study the relation of two frameworks for multiplicative homotopy theories: Presentably symmetric monoidal $\infty$-categories and combinatorial symmetric monoidal model categories. Our main theorem establishes an equivalence of their…
Let $H$ be a finite Hopf algebra with $C_{H,H} = C_{H,H}^{-1}.$ The duality theorem is shown for $H$, i.e., $$ (R # H)# H^{\hat *} \cong R \otimes (H \bar \otimes H^{\hat *}) \hbox {as algebras in} {\cal C}.$$ Also, it is proved that the…
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic. Analogous graphs occur in Kelly's and Mac Lane's…
The category of double categories and double functors is equipped with a symmetric closed monoidal structure. For any double category $\mathbb A$, the corresponding internal hom functor $|[ \mathbb A,-]|$ sends a double category $\mathbb B$…
Covariant Hom-bimodules are introduced and the structure theory of them in the Hom-setting is studied in a detailed way. The category of bicovariant Hom-bimodules is proved to be a (pre)braided monoidal category and its structure theory is…
In this paper, we prove that the deformation theory of an object in an $n$-category is controlled by the its $n$-fold endomorphism algebra. This recovers Lurie's results on deforming objects and categories. We also generalize a previous…
We establish a Rademacher type theorem involving Hamiltonians $H(x,p)$ under very weak conditions in both of Euclidean and Carnot-Carath\'eodory spaces. In particular,$H(x,p)$ is assumed to be only measurable in the variable $x$, and to be…
We introduce the notion of solid monoid and rigid monoid in monoidal categories and study the formal properties of these objects in this framework. We show that there is a one to one correspondence between solid monoids, smashing…
Given a monoidal $\infty$-category $C$ equipped with a monoidal recollement, we give a simple criterion for an object in $C$ to be dualizable in terms of the dualizability of each of its factors and a projection formula relating them.…
We extend the definition of the Saito reflection functor of the Khovanov- Lauda-Rouquier algebras to symmetric Kac-Moody algebra case and prove that it defines a monoidal functor.
We introduce, for every positive integer n, the notion of an n-relative category and show that the category of the small n-relative categories is a model for the homotopy theory of n-fold homotopy theories, i.e. homotopy theories of ... of…
The article presents a complete classification of $n$-valued monoids and groups of order 3. Important corollaries of this result are discussed.
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…
We prove a result that enables us to calculate the rational homotopy of a wide class of spaces by the theory of minimal models.
This article represents a preliminary attempt to link Kan extensions, and some of their further developments, to Fourier theory and quantum algebra through *-autonomous monoidal categories and related structures.
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 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 prove an h-principle with boundary condition for a certain class of topological spaces valued sheaves. The techniques used in the proof come from the study of the homotopy type of the cobordism categories, and they are of simplicial and…
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…