Related papers: Coherence for closed categories with biproducts
In this paper we introduce an open-closed cobordism category with maps to a background space. We identify the classifying space of this category for certain classes of background space. The key ingredient is the homology stability of…
This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product…
For any smooth compact manifold $W$ of dimension at least two we prove that the classifying spaces of its group of diffeomorphisms which fix a set of $k$ points or $k$ embedded disks (up to permutation) satisfy homology stability. The same…
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…
This article offers an intuitive introduction to monoidal categories through the lens of painting, presenting abstract mathematical concepts with visual and tactile analogies. Aimed at curious undergraduates and non-specialists, it seeks to…
Hypergraph categories have been rediscovered at least five times, under various names, including well-supported compact closed categories, dgs-monoidal categories, and dungeon categories. Perhaps the reason they keep being reinvented is…
We construct in a unifying way skew-multicategories and multicategories of double and Gray-categories that we call Gray (skew) multicategories. We study their different versions depending on the types of functors and higher transforms. We…
We produce a cofibrantly generated simplicial symmetric monoidal model structure for the category of (small unital) C*-categories, whose weak equivalences are the unitary equivalences. The closed monoidal structure consists of the maximal…
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…
This is a large audience version of our previous work (see math.AG/0301146) in which we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves.…
A coherent presentation of an n-category is a presentation by generators, relations and relations among relations. Confluent and terminating rewriting systems generate coherent presentations, whose relations among relations are defined by…
We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius…
The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of…
We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.
We study the biclosedness of the monoidal categories of modules and comodules over a (left or right) Hopf algebroid, along with the bimodule category centres of the respective opposite categories and a corresponding categorical equivalence…
We detail a construction of a symmetric monoidal structure, called the reduced tensor product on the 2-category of braided tensor categories $\mathbf{BTC}(\mathcal{A})$ containing a fixed symmetric fusion subcategory $\mathcal{A}$. The…
A symmetric monoidal pairing is defined among simply connected co-H spaces and this is used to generalize the Whitehead product map S(X ^ Y) --> SX v SY to co-H spaces.
We characterize in terms of bicategories actions of monoidal categories to representation categories of algebras. For that purpose we introduce cocycles in any 2-category $\K$ and the category of Tambara modules over a monad $B$ in $\K$. We…
We define a notion of tensor product of bimodule categories and prove that with this product the 2-category of C-bimodule categories for fixed tensor C is a monoidal 2-category in the sense of Kapranov and Voevodsky. We then provide a…
We show that the bicategory of proper correspondences is the Dwyer-Kan localisation of the category of C*-algebras at a certain class of *-homomorphisms.