Related papers: Tensor product of A$_{\infty}$-categories

Given a rigid C*-tensor category C with simple unit and a probability measure $\mu$ on the set of isomorphism classes of its simple objects, we define the Poisson boundary of $(C,\mu)$. This is a new C*-tensor category P, generally with…

Bisets can be considered as categories. This note uses this point of view to give a simple proof of a Mackey-like formula expressing the tensor product of two induced bimodules.

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…

We show that in a finite tensor category, the tensor product property holds for support varieties if and only if it holds between indecomposable periodic objects. We apply this to certain Hopf algebras in the form of skew group algebras. In…

We present here definitions and constructions basic for the theory of monoidal and tensor categories. We provide references to the original sources, whenever possible. Group-theoretical categories are used as examples

Given a fusion category $\mathcal{C}$ and an indecomposable $\mathcal{C}$-module category $\mathcal{M}$, the fusion category $\mathcal{C}^*_\mathcal{M}$ of $\mathcal{C}$-module endofunctors of $\mathcal{M}$ is called the (Morita) dual…

A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…

We define biprops as a generalization of coloured props and of symmetric weak multicategories. These are bicategories whose objects form a free monoid. They are equipped with some structure resembling a symmetric strict tensor product. We…

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…

Suppose that $\mathcal{A}$ is an abelian category whose derived category $\mathcal{D}(\mathcal{A})$ has $Hom$ sets and arbitrary (small) coproducts, let $T$ be a (not necessarily classical) ($n$-)tilting object of $\mathcal{A}$ and let…

A tensor extriangulated category is an extriangulated category with a symmetric monoidal structure that is compatible with the extriangulated structure. To this end we define a notion of a biextriangulated functor $\mathcal{A} \times…

The goal of this article is to develop the theory of presentable categories and topoi internal to an arbitrary $\infty$-topos $\mathcal{B}$. Our main results are internal analogues of Lurie's and Lurie-Simpson's characterisations of…

We define a functor which takes in an $(\infty,1)$-category and outputs an $(\omega,1)$-category, the natural maximally "strict" version of an $(\infty,1)$-category. We do this by modeling $(\infty,1)$-categories as categories enriched in…

We found a necessary and sufficient condition for the existence of the tensor product of modules over a vertex algebra. We defined the notion of vertex bilinear map and we provide two algebraic construction of the tensor product, where one…

We exhibit a complete set of identities for CNOT, the symmetric monoidal category generated by the controlled-not gate, the swap gate, and the computational ancillae. We prove that CNOT is a discrete inverse category. Moreover, we prove…

This article investigates duals for bimodule categories over finite tensor categories. We show that finite bimodule categories form a tricategory and discuss the dualities in this tricategory using inner homs. We consider inner-product…

Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put…

We aim to study Morita theory for tensor triangulated categories. For two finite tensor categories having no projective simple objects, we prove that their stable equivalence induced by an exact $\Bbbk$-linear monoidal functor can be lifted…

For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of…

In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…