 situations.

Acknowledgements {#acknowledgements.unnumbered}
----------------

Thanks to Ralph Kaufmann for bringing our attention to the references [@Bun] and [@Day]. We thank Paul Balmer for pointing us to [@BKS] and subsequent discussions of the case of homological functors, see Section \[sec:kuenneth\]. We thank the referee for her/his suggestions that considerably improved the exposition.

Notation {#notation.unnumbered}
--------

By a tensor category $(C, \otimes)$ we mean a category $C$ provided with a functor $\otimes: C\times C\to C$ satisfying an associativity constraint and with ${\mathbf{1}}$ a unit object; in addition, also a commutativity constraint can be required, e.g. see [@DMT §1]. This is often called a non-strict tensor category. By an additive (resp. abelian) tensor category we mean a tensor category $(C, \otimes)$ such that $C$ is additive (resp. abelian) and ${\otimes}$ is a bi-additive functor, see [@DMT Def. 1.15]. Tensor functors are not assumed strict. Tensor functors between additive tensor categories are assumed to be additive. We denote by ${\mathbb{Q}\mathrm{-vsp.}}$ the tensor category of ${\mathbb{Q}}$-vector spaces.

If ${\mathcal{A}}$ is an abelian category, we denote by ${\mathrm{gr}}{\mathcal{A}}$ the associated category of ${\mathbb{Z}}$-graded objects. If, in addition, $({\mathcal{A}}, \otimes)$ carries a tensor structure, we equip $({\mathrm{gr}}{\mathcal{A}}, \otimes )$ with the induced tensor structure. If the tensor product is commutative, we choose the commutativity constraint on ${\mathrm{gr}}{\mathcal{A}}$ such that the product becomes graded anti-commutative.

For an additive category $C$ we shall consider the additive functors from $C$ to the category Ab of abelian groups as (left) $C$-modules. We shall denote by $C{\mathrm{-mod}}$ the category of finitely presented $C$-modules, see e.g. [@P Chaps. 2, 3].

Universal abelian tensor categories {#sec:universal_tensor}
===================================

Let $C$ be an additive category. We denote by ${\mathrm{Ab}(C)}$ the universal abelian category on $C$, see [@F
situations. 

 Acknowledgements { # acknowledgements.unnumbered } 
 ---------------- 

 Thanks to Ralph Kaufmann for bringing our attention to the reference point [ @Bun ] and [ @Day ]. We thank Paul Balmer for target us to [ @BKS ] and subsequent discussions of the case of homological functors, witness Section   \[sec: kuenneth\ ]. We thank the referee for her / his suggestions that well improved the exposition. 

 Notation { # notation.unnumbered } 
 -------- 

 By a tensor category $ (coke, \otimes)$ we mean a category $ C$ put up with a functor $ \otimes: C\times C\to C$ satisfying an associativity constraint and with $ { \mathbf{1}}$ a whole aim; in addition, also a commutativity restraint can be required, for example learn [ @DMT § 1 ]. This is often called a non - strict tensor class. By an additive (resp. abelian) tensor category we mean a tensor category $ (C, \otimes)$ such that $ C$ is linear (resp. abelian) and $ { \otimes}$ is a bi - additive functor, learn [ @DMT Def. 1.15 ]. Tensor functors are not assumed strict. Tensor functors between additive tensor class are assumed to be additive. We denote by $ { \mathbb{Q}\mathrm{-vsp.}}$ the tensor category of $ { \mathbb{Q}}$-vector spaces. 

 If $ { \mathcal{A}}$ is an abelian category, we denote by $ { \mathrm{gr}}{\mathcal{A}}$ the associated category of $ { \mathbb{Z}}$-graded objects. If, in addition, $ ({ \mathcal{A } }, \otimes)$ carries a tensor structure, we equip $ ({ \mathrm{gr}}{\mathcal{A } }, \otimes) $ with the induced tensor structure. If the tensor product is commutative, we choose the commutativity constraint on $ { \mathrm{gr}}{\mathcal{A}}$ such that the product becomes rate anti - commutative. 

 For an additive category $ C$ we shall think the linear functors from $ C$ to the category Ab of abelian groups as (left) $ C$ -modules. We shall denote by $ C{\mathrm{-mod}}$ the category of finitely presented $ C$ -modules, see e.g.   [ @P Chaps.   2, 3 ]. 

 cosmopolitan abelian tensor categories { # sec: universal_tensor } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Let $ C$ be an additive category. We denote by $ { \mathrm{Ab}(C)}$ the universal abelian category on $ C$, see [ @F
 sihuations.

Acknowledgements {#acknowledgemenjs.ynnumbxred}
----------------

Thahks to Rxlph Kaufmann for bringing onr artentuon to the references [@Cun] and [@Dwy]. We thqnk Kaul Balmer for pointing mf to [@NKS] aud subsequent dixcussions mf the case of humllogical functors, see Section \[sec:kuegneth\]. Wr hhank the refetee fpw hed/his suggestions that considerably improvtd the exposition.

Nptation {#notation.unnumbered}
--------

Hy a tensor category $(C, \otimes)$ we nean q category $C$ provided with a functkr $\otimes: C\times C\to C$ satisfyivg an associaticiry fmnstraint aid witr ${\mathbf{1}}$ a ukpt objewt; in acdition, also a cokmurativity constraint cen be required, e.g. seg [@DMT §1]. Thiv ns often called a non-wteict jensos cagwgofy. Gy ah addihivx (resp. abeljan) tensor xategory we mean a uenfir category $(C, \otimef)$ fuch that $C$ is additive (resp. abelian) ang ${\ofimes}$ is a bi-additive fynctor, see [@DMT Def. 1.15]. Tgnsor funceors are not assumed strict. Tensor functors betwean advigivt bcnsof cwtegories are assumed to be additive. We denotq bu ${\kathbb{Q}\mathrm{-vfp.}}$ the tenspr csjegory of ${\mathcb{Q}}$-vecckr spaces.

If ${\mathcal{A}}$ is an wbeliqn categowy, wr denote by ${\mathrm{gr}}{\mathcal{Q}}$ the associctee category of ${\mathyb{Z}}$-graded oblects. Of, in addition, $({\mathcal{A}}, \otimzs)$ cardies a tenslr structhfe, we equip $({\mathfm{gg}}{\matvcal{A}}, \otimes )$ with the indtced tensir scructure. If jhe tenfor produch is gmmmutative, we choode thg commgtativity fonstraint on ${\mathrm{gr}}{\mathcal{A}}$ such that the krogucn becomes gradcd anti-commutatyve.

For an addijive cateyory $C$ we shall bonsider vhe additive functors frok $C$ to the cavegory Ab of qbeluan grojos as (left) $C$-mocules. We shall denore by $C{\mathrm{-mod}}$ tme cajefory of finitelv krwsented $C$-modulrs, ree e.h. [@P Crdps. 2, 3].

Universan abdlixm tenror cattyorles {#sec:iniversal_tensor}
===================================

Let $C$ be zn additive categoty. We denoje by ${\matrrm{Ab}(C)}$ the unoversal abelian cauegory on $C$, ser [@F
situations. Acknowledgements {#acknowledgements.unnumbered} ---------------- Thanks to Ralph bringing attention to references [@Bun] and for us to [@BKS] subsequent discussions of case of homological functors, see Section We thank the referee for her/his suggestions that considerably improved the exposition. Notation -------- By a tensor category $(C, \otimes)$ we mean a category $C$ provided a $\otimes: C\to satisfying an associativity constraint and with ${\mathbf{1}}$ a unit object; in addition, also a commutativity constraint be required, e.g. see [@DMT §1]. This is called a non-strict tensor By an additive (resp. abelian) category mean a category \otimes)$ that $C$ is (resp. abelian) and ${\otimes}$ is a bi-additive functor, see [@DMT Def. 1.15]. Tensor functors are not assumed Tensor functors tensor categories assumed be We denote by tensor category of ${\mathbb{Q}}$-vector spaces. If abelian category, we denote by ${\mathrm{gr}}{\mathcal{A}}$ the associated of ${\mathbb{Z}}$-graded If, in addition, $({\mathcal{A}}, \otimes)$ carries tensor structure, we equip $({\mathrm{gr}}{\mathcal{A}}, \otimes )$ with induced tensor structure. If the tensor product is commutative, we choose the commutativity constraint on that the product becomes anti-commutative. For an category we consider additive functors $C$ to the category Ab of abelian groups as (left) $C$-modules. shall denote by $C{\mathrm{-mod}}$ the category of finitely presented $C$-modules, [@P 2, 3]. Universal tensor categories {#sec:universal_tensor} =================================== $C$ an additive category. We ${\mathrm{Ab}(C)}$ universal $C$, [@F
 situations.

AcknowledgementS {#acknowledGemenTs.uNnuMbEred}
----------------

thanKs to Ralph KaufmANn foR bringing our attention tO the rEfERencES [@BUn] and [@day]. We thANk pAUl BAlMeR foR pOInTing uS to [@bKS] and sUbsequent dIscUsSions of the caSE oF homologicAl fUnctors, see SeCtiOn \[sec:kUeNneTH\]. We thAnk The reFeree fOR her/hiS suggestiOnS That coNSiderabLY ImProvEd the exposition.

NoTAtIOn {#notation.unnuMbered}
--------

by A TeNSOr cAteGory $(C, \otimeS)$ wE mean A CategorY $c$ pROVIdeD With a functor $\oTimes: C\times c\To C$ SatisfYiNg aN AssociAtiviTy COnsTraint and wiTh ${\maThbf{1}}$ a unit Object; IN additiON, also a cOmmutaTivIty ConsTRaInT caN bE ReqUIrEd, e.G. See [@dMT §1]. This iS oFtEn calLed a NON-STricT teNsor CategOry. By an additiVe (rEsp. aBEliAn) tenSor caTegoRy We meaN a tensOr catEgOry $(C, \otimes)$ such tHat $C$ Is additivE (reSp. AbeLiAn) and ${\OTimes}$ iS a bI-adDitive fUnctor, sEE [@DMt DEF. 1.15]. tEnSor functors are not aSsUMEd Strict. TeNsor fuNCtOrS Between aDdItiVe teNSOr catEgorIEs Are assumEd to be ADdItIve. We deNoTe by ${\maThBb{Q}\MatHrm{-vsP.}}$ The tEnsor cAtegory oF ${\mathBB{Q}}$-vector spaces.

iF ${\mathcal{A}}$ is an ABeLIAn CAtegOry, We denote by ${\mAthrM{Gr}}{\maThcaL{a}}$ tHe aSSociaTed caTeGOrY Of ${\mathbb{Z}}$-graded objeCtS. If, in aDditiOn, $({\mathcal{A}}, \otiMes)$ carries A TENsor struCturE, We EQuip $({\mathrm{gr}}{\maThcal{a}}, \otimes )$ witH The inducEd tenSor strucTure. If the TENsor prodUct Is cOmmUtaTIVe, We choose the coMMUtatIvIty consTraInt on ${\maThrM{gr}}{\MatHcaL{A}}$ Such that tHe producT bEcOmEs GraDed anTI-commutaTiVe.

FOr An aDditiVE categOry $C$ wE shaLl CoNSidEr the adDItIVE funCtOrS froM $C$ tO tHe catEgorY ab oF abeliaN groups as (LefT) $c$-modUlEs. we shall Denote by $C{\mathRm{-Mod}}$ the cateGoRy oF finitELY presentEd $C$-modules, see e.g. [@P Chaps. 2, 3].

UnIVersal aBelIan teNsor CategorieS {#seC:univeRsaL_Tensor}
===================================

let $C$ be An addItIve CATegorY. wE dEnoTe By ${\mathrm{Ab}(c)}$ THe uNiverSaL abeLian catEgory on $C$, see [@F
 situations.

Acknowledgem ents {#ack nowle dge men ts .unn umbe red}
--------- - ---- --

Thanks to Ralph Ka ufman nf or b r in gingour att e nt i o n t oth e r ef e re nces[@B un] and  [@Day]. W e t ha nk Paul Balm e rfor pointi ngus to [@BKS]  an d subs eq uen t  disc uss ionsof the case o f homolog ic a l func t ors, se e Se ctio n \[sec:kuenneth\ ] .W e thank the re fereefo r  h e r /hi s s uggestions  t hat c o nsidera b ly i m pro v ed the exposi tion.

Nota t ion  {#not at ion . unnumb ered} 
- - --- ---

By a t enso r categor y $(C, \otimes ) $ we me an a c ate gor y $C $  p ro vid ed wit h  a  fu n cto r $\otim es :C\tim es C \ t o C$ s ati sfyi ng an  associativit y c onst r ain t and  with  ${\ ma thbf{ 1}}$ a  unit  o bject; in addit ion,  also a c omm ut ati vi ty co n strain t c anbe requ ired, e . g.se e [ @D MT §1]. This is of te n ca lled a n on-str i ct  t e nsor cat eg ory . By a n add itiv e  ( resp. ab elian) te ns or cate go ry weme ana t ensor cate gory $ (C, \oti mes)$ such that $C$i s additive (r e sp . ab e lian ) a nd ${\otime s}$i s abi-a d di tiv e  func tor,se e  [ @ DMT Def. 1.15]. Ten so r func torsare not assum ed strict. T e nsor fun ctor s  b e tween additive  tens or categor i es are a ssume d to beadditive. W e denote  by  ${ \ma thb b { Q} \mathrm{-vsp. } } $ th etensorcat egory o f $ {\m ath bb{ Q} }$-vector  spaces. 
If  $ {\ mat hcal{ A }}$ is a nabe li ancateg o ry, we  deno te b y${ \ mat hrm{gr} } {\ m a thca l{ A} }$ t heas socia tedc ate gory of  ${\mathb b{Z } }$-g ra de d objec ts. If, in ad di tion, $({\ ma thc al{A}} , \otimes) $ carries a tensor stru c ture, w e e quip$({\ mathrm{gr }}{ \mathc al{ A }}, \o times)$ wi th  th e induc e d  t ens or  structure . Ifthe t en sorproduct  is commutative, w e  ch oose the comm uta tivi t y  c ons t ra i nton ${\ m a thrm{gr}}{\math cal{A}}$ s uc h  t hat the pr o duc tbecomes  graded  anti - commuta tive.

Fo r an addi ti ve c a t ego ry $C$ weshall co nsider th e  addi t iv e fun cto rs fro m$C$  to t he cat e gor y Abof abe li an gro ups a s(left) $ C$-modules. We shall de note b y $C{ \ma thrm{-mod }}$ the  category  offinitely p res ent ed $C $-m o dules , se e  e .g. [@P C haps .  2, 3].
U ni ver s a labelian ten s o r  ca tegor ies {#sec: univ ersal_tensor}
=== = ============== ==== = = === === = ==== 
Let $C$ be anadd it i v e catego ry . We denote  by ${\m at h rm{Ab }(C)}$  the u niversa l ab e lian c ateg ory  on $C$,see  [ @ F
 situations.

Acknowledgements_{#acknowledgements.unnumbered}
----------------

Thanks to_Ralph Kaufmann for bringing_our attention_to_the references_[@Bun]_and [@Day]. We_thank Paul Balmer_for pointing us to_[@BKS] and subsequent_discussions_of the case of homological functors, see Section \[sec:kuenneth\]. We thank the referee for her/his_suggestions_that considerably_improved_the_exposition.

Notation {#notation.unnumbered}
--------

By a tensor category_$(C, \otimes)$ we mean a_category $C$_provided with a functor $\otimes: C\times C\to C$_satisfying_an associativity constraint_and with ${\mathbf{1}}$ a unit object; in addition, also_a commutativity constraint can be required,_e.g. see [@DMT_§1]._This_is often called a_non-strict tensor category. By an additive_(resp. abelian) tensor category we mean_a tensor category $(C, \otimes)$ such that_$C$ is additive (resp. abelian) and_${\otimes}$ is a bi-additive functor,_see [@DMT_Def. 1.15]. Tensor functors are_not assumed strict._Tensor functors_between additive tensor_categories are assumed to be additive._We denote by_${\mathbb{Q}\mathrm{-vsp.}}$ the tensor category of ${\mathbb{Q}}$-vector_spaces.

If_${\mathcal{A}}$ is an_abelian_category,_we denote_by ${\mathrm{gr}}{\mathcal{A}}$ the_associated_category of_${\mathbb{Z}}$-graded_objects. If, in addition, $({\mathcal{A}}, \otimes)$_carries_a tensor structure, we equip $({\mathrm{gr}}{\mathcal{A}}, \otimes_)$ with the induced_tensor_structure. If the tensor_product is commutative, we choose_the commutativity constraint on ${\mathrm{gr}}{\mathcal{A}}$ such_that the_product becomes_graded anti-commutative.

For an additive category $C$ we shall consider the additive_functors from $C$ to the category_Ab of abelian groups_as (left)_$C$-modules._We shall denote_by_$C{\mathrm{-mod}}$ the_category of finitely presented $C$-modules, see e.g. [@P_Chaps. 2, 3].

Universal_abelian tensor categories {#sec:universal_tensor}
===================================

Let $C$ be_an additive category. We_denote_by ${\mathrm{Ab}(C)}$ the universal abelian category_on $C$, see [@F