Related papers: Tensor Enriched Categorical Generalization of the …
Given a fixed tensor triangulated category S we consider triangulated categories T together with an S-enrichment which is compatible with the triangulated structure of T. It is shown that, in this setting, an enriched analogue of Brown…
We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories…
We prove that a lax $\mathbb{E}_{n+1}$-monoidal functor from $\mathcal V$ to $\mathcal W$ induces a lax $\mathbb{E}_n$-monoidal functor from $\mathcal V$-enriched $\infty$-categories to $\mathcal W$-enriched $\infty$-categories in the sense…
We establish the feasibility of investigating the theory of $R\text{-}\mathrm{Mod}$-enriched categories, for any commutative and unitary ring $R$, through the framework of $\mathbb{A}\mathrm{b}$-enriched category theory. In particular, we…
We prove Eilenberg-Watts Theorem for 2-categories of the representation categories $\C\x\Mod$ of finite tensor categories $\C$. For a consequence we obtain that any autoequivalence of $\C\x\Mod$ is given by tensoring with a representative…
Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive…
The object of this paper is to prove that the standard categories in which homotopy theory is done, such as topological spaces, simplicial sets, chain complexes of abelian groups, and any of the various good models for spectra, are all…
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey…
We extend Lurie's definition of enriched $\infty$-categories to notions of left enriched, right enriched and bienriched $\infty$-categories, which generalize the concepts of closed left tensored, right tensored and bitensored…
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…
The categorical formulation of the Eilenberg-Watts calculus relates, for any pair of finite categories M and N, the finite categories Fun^{le}(N,M) and Fun^{re}(N,M) of linear left or right exact functors and the Deligne product \bar N…
In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and…
For coalgebras $C$ and $D$, Takeuchi proved that the category of linear functors from $\mathfrak{M}^C$ to $\mathfrak{M}^D$ preserving small coproducts is equivalent to the category of $C$-$D$-bicomodules, where $\mathfrak{M}^C$ for a…
We obtain Morita invariant versions of Eilenberg-Watts type theorems, relating Deligne products of finite linear categories to categories of left exact as well as of right exact functors. This makes it possible to switch between different…
Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss…
In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched in the category of Eilenberg-Moore algebras for a monad.…
For a monoidal $\infty$-category $\mathcal{M}$ with colimits, we study colimits of $\mathcal{M}$-functors $\mathcal{A}\to\mathcal{B}$ where $\mathcal{B}$ is left-tensored over $\mathcal{M}$ and $\mathcal{A}$ is an $\mathcal{M}$-enriched…
A bivariant functor is defined on a category of *-algebras and a category of operator ideals, both with actions of a second countable group $G$, into the category of abelian monoids. The element of the bivariant functor will be…
If $\mathcal{C}$ is a cocomplete monoidal category in which tensoring from both sides preserves coequalizers, then the category of monoids over $\mathcal{C}$ is cocomplete. The same holds if $\mathcal{C}$ has regular factorizations and…
We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg--Moore category C^T that represents bimorphisms. The category of actions in C^T is then shown to be monadic…