Related papers: Coherence for closed categories with biproducts
We introduce the condensed fiber product of two $G$-crossed braided fusion categories, generalizing existing constructions in the literature. We show that this product is closely related to the cohomological construction known as zesting.…
We construct cup and cap products in intersection (co)homology with field coefficients. The existence of the cap product allows us to give a new proof of Poincare duality in intersection (co)homology which is similar in spirit to the usual…
In this paper, we compute the homology group and cohomology algebra of various polyhedral product objects uniformly from the point of view of diagonal tensor product. As applications, we introduce the polyhedral product method into…
It known from the work of Feigin-Tsygan, Weibel and Keller that the cohomology groups of a smooth complex variety X can be recovered from (roughly speaking) its derived category of coherent sheaves. In this paper we show that for a finite…
We classify which dual functors on a unitary multitensor category are compatible with the dagger structure in terms of groupoid homomorphisms from the universal grading groupoid to $\mathbb{R}_{>0}$ where the latter is considered as a…
Working in the framework of $(T, V)$-categories, for a symmetric monoidal closed category $V$ and a (not necessarily cartesian) monad $T$, we present a common account to the study of ordered compact Hausdorff spaces and stably compact…
A dagger category is a category equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity-on-objects endofunctor. Dagger categories with additional structure have been studied under different names e.g.…
We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to…
Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced…
In this expository paper, we discuss and compare the notions of braided and coboundary monoidal categories. Coboundary monoidal categories are analogues of braided monoidal categories in which the role of the braid group is replaced by the…
An example is given of a compact absolute retract that is not a Hilbert cube manifold but whose second symmetric porduct is the Hilbert cube. A factor theorem is given for nth symmetric product of the cartesian product of any absolute…
We revise our "Physical Traces" paper in the light of the results in "A Categorical Semantics of Quantum Protocols". The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite…
Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also…
For a ring $R$ and an additive subcategory $\C$ of the category $\Mod R$ of left $R$-modules, under some conditions we prove that the right Gorenstein subcategory of $\Mod R$ and the left Gorenstein subcategory of $\Mod R^{op}$ relative to…
We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with…
We offer two proofs that categories weakly enriched over symmetric monoidal categories can be strictified to categories enriched in permutative categories. This is a "many 0-cells" version of the strictification of bimonoidal categories to…
Using Dugger's construction of universal model categories, we produce replacements for simplicial and combinatorial symmetric monoidal model categories with better operadic properties. Namely, these replacements admit a model structure on…
Using cohomology of categories with coefficients in natural systems it is proved that a groupoid enrichad category with pseudoproducts is pseudoequivalent to one with strict products.
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…
We show that the categories of directed and undirected reflexive graphs carry exactly two (up to isomorphism) biclosed monoidal structures.