$-bimodules in $\on{add}(A \otimes_{\Bbbk} A)$;

-   $2$-morphisms are given by natural transformations between those functors.

The $2$-semicategory ${\sc\mbox{Z}\hspace{1.0pt}}_{\!A}$ generally does not admit weak identity $1$-morphisms described in [@KMZ Section 2], and hence fails to be a bilax-unital $2$-category in the sense of [@KMZ].

Now we define the objects of study of the remaining part of this section:

Consider the star algebra $\Lambda_{n}$ and its quotient $\Delta_{n}$, given in Definition \[DefStar\]. Choose the self-injective core $S = {\left\{ 0 \right\}}$ for both the algebras. We let ${\sc\mbox{Z}\hspace{1.0pt}}_{L}$ be the $2$-full $2$-subsemicategory of ${\sc\mbox{Z}\hspace{1.0pt}}_{\Lambda_{n}}$ generated by the $1$-morphisms $$\Lambda_{n}e_{i} \otimes_{\Bbbk} \Lambda_{n}e_{0} \text{ for } i=0,1,\ldots,n.$$ and similarly let ${\sc\mbox{G}\hspace{1.0pt}}_{L}$ be the $2$-semicategory generated by the $1$-morphisms $$\Delta_{n}e_{i} \otimes_{\Bbbk} \Delta_{n}e_{0} \text{ for } i=0,1,\ldots,n.$$

The main result
---------------

The main reason for our interest in the $2$-semicategories above is that they closely connect to the following conjecture, formulated in [@Zi2]:

For the algebra $\Lambda_{n}$ and the self-injective core $S = {\left\{ 0 \right\}}$, consider the $2$-category ${{\sc\mbox{D}\hspace{1.0pt}}}_{\!L}$. Equivalence classes of simple transitive $2$-representations of ${{\sc\mbox{D}\hspace{1.0pt}}}_{\!L}$ are in bijection with set partitions of ${\left\{ 1,2,\ldots, n \right\}}$.

As was remarked in the introduction, the $2$-category ${{\sc\mbox{D}\hspace{1.0
$ -bimodules in $ \on{add}(A \otimes_{\Bbbk } A)$; 

 -    $ 2$-morphisms are given by natural transformations between those functors. 

 The $ 2$-semicategory $ { \sc\mbox{Z}\hspace{1.0pt}}_{\!A}$ generally does not accept fallible identity $ 1$-morphisms described in [ @KMZ Section 2 ], and hence fail to be a bilax - unital $ 2$-category in the sense of [ @KMZ ]. 

 Now we specify the object of study of the stay part of this section: 

 regard the star algebra $ \Lambda_{n}$ and its quotient $ \Delta_{n}$, given in Definition \[DefStar\ ]. Choose the self - injective congress of racial equality $ S = { \left\ { 0 \right\}}$ for both the algebra. We let $ { \sc\mbox{Z}\hspace{1.0pt}}_{L}$ be the $ 2$-full $ 2$-subsemicategory of $ { \sc\mbox{Z}\hspace{1.0pt}}_{\Lambda_{n}}$ generated by the $ 1$-morphisms $ $ \Lambda_{n}e_{i } \otimes_{\Bbbk } \Lambda_{n}e_{0 } \text { for } i=0,1,\ldots, n.$$ and similarly lease $ { \sc\mbox{G}\hspace{1.0pt}}_{L}$ be the $ 2$-semicategory generated by the $ 1$-morphisms $ $ \Delta_{n}e_{i } \otimes_{\Bbbk } \Delta_{n}e_{0 } \text { for } i=0,1,\ldots, n.$$ 

 The main consequence 
 --------------- 

 The main reason for our interest in the $ 2$-semicategories above is that they close connect to the following speculation, formulated in [ @Zi2 ]: 

 For the algebra $ \Lambda_{n}$ and the self - injective kernel $ S = { \left\ { 0 \right\}}$, consider the $ 2$-category $ { { \sc\mbox{D}\hspace{1.0pt}}}_{\!L}$. Equivalence classes of simple transitive $ 2$-representations of $ { { \sc\mbox{D}\hspace{1.0pt}}}_{\!L}$ are in bijection with set partitions of $ { \left\ { 1,2,\ldots, n \right\}}$. 

 As was note in the introduction, the $ 2$-category $ { { \sc\mbox{D}\hspace{1.0
$-bimldules in $\on{add}(A \otimes_{\Bnbk} A)$;

-   $2$-morphisms are gmven by natural transformations between thode funcujrs.

The $2$-semicategorh ${\sc\mbox{Z}\jspace{1.0pt}}_{\!Q}$ geierally does not admit wcck idsktity $1$-norphisms desctibed in [@KMZ Section 2], and vevcz fails to be a bilax-unital $2$-category in the sfnse of [@KMZ].

Now we cqfins the objects of study of the remajning pert of this secyion:

Consider the star algehra $\Pambda_{n}$ and its qultient $\Deltq_{n}$, gycen in Definktion \[DefSuax\]. Choose thg self-injective core $S = {\left\{ 0 \rieht\}}$ fpr both thg zlhgbras. We let ${\sc\mbjx{Z}\hspace{1.0pt}}_{L}$ be the $2$-xull $2$-sunsemicategory pf ${\vc\mvox{Z}\hspace{1.0pt}}_{\Lambda_{n}}$ gxnerated by the $1$-morprisms $$\Lamtdc_{n}e_{i} \otimes_{\Bbbk} \Lambdq_{n}w_{0} \texj{ for } i=0,1,\laits,v.$$ ahd sjmilarpy met ${\sc\mbox{F}\hspace{1.0pt}}_{L}$ ve the $2$-semicategory gqberated by ths $1$-morprifms $$\Delta_{n}e_{i} \otimes_{\Bbbk} \Delta_{n}e_{0} \text{ fog } i=0,1,\mdots,n.$$

The main result
---------------

Thw main reason for our interest in the $2$-semicategories above is that they closely connxcg ti bhe wilpowing conjecture, formulated in [@Zi2]:

For the algqgrs $\Kambda_{n}$ and thc self-injective cote $S = {\left\{ 0 \right\}}$, zonsidzd fhe $2$-category ${{\sc\mbod{D}\hspacg{1.0pt}}}_{\!L}$. Ewuivalenct claxses of simple transitive $2$-rwpresentatious if ${{\sc\mbox{D}\hspace{1.0pt}}}_{\!P}$ are in bilectiom witn set partitions of ${\lefc\{ 1,2,\ldota, n \right\}}$.

As was remadyed in the introaucnion, the $2$-catteory ${{\sc\mbox{D}\hspacq{1.0
$-bimodules in $\on{add}(A \otimes_{\Bbbk} A)$; - $2$-morphisms by transformations between functors. The $2$-semicategory weak $1$-morphisms described in Section 2], and fails to be a bilax-unital $2$-category the sense of [@KMZ]. Now we define the objects of study of the part of this section: Consider the star algebra $\Lambda_{n}$ and its quotient $\Delta_{n}$, in \[DefStar\]. the core $S = {\left\{ 0 \right\}}$ for both the algebras. We let ${\sc\mbox{Z}\hspace{1.0pt}}_{L}$ be the $2$-full of ${\sc\mbox{Z}\hspace{1.0pt}}_{\Lambda_{n}}$ generated by the $1$-morphisms $$\Lambda_{n}e_{i} \otimes_{\Bbbk} \text{ for } i=0,1,\ldots,n.$$ similarly let ${\sc\mbox{G}\hspace{1.0pt}}_{L}$ be the generated the $1$-morphisms \otimes_{\Bbbk} \text{ } i=0,1,\ldots,n.$$ The result --------------- The main reason for our interest in the $2$-semicategories above is that they closely connect the following in [@Zi2]: the $\Lambda_{n}$ the self-injective core {\left\{ 0 \right\}}$, consider the $2$-category of simple transitive $2$-representations of ${{\sc\mbox{D}\hspace{1.0pt}}}_{\!L}$ are in with set of ${\left\{ 1,2,\ldots, n \right\}}$. As remarked in the introduction, the $2$-category ${{\sc\mbox{D}\hspace{1.0
$-bimodules in $\on{add}(A \otimes_{\BbBk} A)$;

-   $2$-morphisMs are GivEn bY nAturAl trAnsformations bETweeN those functors.

The $2$-semicAtegoRy ${\SC\mboX{z}\hSpace{1.0Pt}}_{\!A}$ geneRAlLY DoeS nOt AdmIt WEaK idenTitY $1$-morphiSms describEd iN [@KmZ Section 2], and HEnCe fails to bE a bIlax-unital $2$-caTegOry in tHe SenSE of [@KMz].

NoW we deFine thE ObjectS of study oF tHE remaiNIng part OF ThIs seCtion:

Consider the sTAr ALgebra $\Lambda_{n}$ aNd its qUoTIeNT $\delTa_{n}$, Given in DefInItion \[dEfStar\]. CHOoSE THe sELf-injective coRe $S = {\left\{ 0 \righT\}}$ For Both thE aLgeBRas. We lEt ${\sc\mBoX{z}\hsPace{1.0pt}}_{L}$ be thE $2$-fulL $2$-subsemicAtegorY Of ${\sc\mboX{z}\hspace{1.0Pt}}_{\LambDa_{n}}$ GenEratED bY tHe $1$-mOrPHisMS $$\LAmbDA_{n}e_{I} \otimes_{\BBbK} \LAmbda_{N}e_{0} \teXT{ FOR } i=0,1,\ldOts,N.$$ and SimilArly let ${\sc\mbox{g}\hsPace{1.0PT}}_{L}$ bE the $2$-sEmicaTegoRy GenerAted by The $1$-moRpHisms $$\Delta_{n}e_{i} \otImes_{\bbbk} \Delta_{N}e_{0} \tExT{ foR } i=0,1,\Ldots,N.$$

the maiN reSulT
---------------

The maiN reason FOr oUr INTErEst in the $2$-semicategoRiES AbOve is thaT they cLOsElY Connect tO tHe fOlloWINg conJectURe, FormulatEd in [@Zi2]:

fOr ThE algebrA $\LAmbda_{n}$ AnD thE seLf-injECtivE core $S = {\Left\{ 0 \righT\}}$, consIDer the $2$-category ${{\SC\mbox{D}\hspace{1.0pT}}}_{\!l}$. EQUIvALencE clAsses of simpLe trANsitIve $2$-rEPrEseNTatioNs of ${{\sC\mBOx{d}\Hspace{1.0pt}}}_{\!L}$ are in bijecTiOn with Set paRtitions of ${\lefT\{ 1,2,\ldots, n \rigHT\}}$.

aS was remaRked IN tHE introduction, tHe $2$-catEgory ${{\sc\mboX{d}\hspace{1.0
$-bimodules in $\on{add}(A  \otimes_{ \Bbbk } A )$; 
-  $2$- morphisms areg iven  by natural transforma tions  b e twee n  t hosefunctor s .T he$2 $- sem ic a te gory${\ sc\mbox {Z}\hspace {1. 0p t}}_{\!A}$ g e ne rally does  no t admit weak  id entity  $ 1$- m orphi sms  desc ribedi n [@KM Z Section  2 ] , andh ence fa i l sto b e a bilax-unital$ 2$ - category in th e sens eo f[ @ KMZ ].
Now we de fi ne th e  object s  o f s tud y  of the remai ning part o f  th is sec ti on: 
Consi der t he sta r algebra $ \Lam bda_{n}$and it s  quotie n t $\Del ta_{n} $,giv en i n  D ef ini ti o n \ [ De fSt a r\] . Choose  t he  self -inj e c t i ve c ore  $S= {\l eft\{ 0 \righ t\} }$ f o r b oth t he al gebr as . Welet ${ \sc\m bo x{Z}\hspace{1.0 pt}} _{L}$ bethe  $ 2$- fu ll $2 $ -subse mic ate gory of  ${\sc\ m box {Z } \ h sp ace{1.0pt}}_{\Lamb da _ { n} }$ gener ated b y  t he $1$-morp hi sms  $$\ L a mbda_ {n}e _ {i } \otime s_{\Bb b k}  \ Lambda_ {n }e_{0}  \ tex t{for } i=0, 1,\ldo ts,n.$$and s i milarly let ${ \ sc\mbox{G}\hs p ac e { 1. 0 pt}} _{L }$ be the $ 2$-s e mica tego r ygen e rated  by t he $1 $ -morphisms $$\Delta _{ n}e_{i } \ot imes_{\Bbbk}\Delta_{n} e _ { 0} \text { fo r  } i=0,1,\ldots,n .$$
The main r e sult
--- ----- -------
The main r eason fo r o urint ere s t  i n the $2$-sem i c ateg or ies abo veis that  th eyclo sel yconnect t o the fo ll ow in gcon jectu r e, formu la ted  i n [ @Zi2] : 

Forthe a lgeb ra  $ \ Lam bda_{n} $  a n d  the  s el f-in jec ti ve co re $ S  ={\left\ { 0 \righ t\} } $, c on si der the  $2$-category  $ {{\sc\mbox {D }\h space{ 1 . 0pt}}}_{ \!L}$. Equivalence clas s es of s imp le tr ansi tive $2$- rep resent ati o ns of${{\sc \mbox {D }\h s p ace{1 . 0 pt }}} _{ \!L}$ arei n  bi jecti on  wit h set p artitions of ${\le f t\{  1,2,\ldots,n \ righ t \ }} $.As was  r e mar k e d in the introd uction, th e$ 2$ -category$ {{\ sc \mbox{D }\hspac e{1.0 
$-bimodules in_$\on{add}(A \otimes_{\Bbbk}_A)$;

-   $2$-morphisms_are given_by_natural transformations_between_those functors.

The $2$-semicategory_${\sc\mbox{Z}\hspace{1.0pt}}_{\!A}$ generally does_not admit weak identity_$1$-morphisms described in_[@KMZ_Section 2], and hence fails to be a bilax-unital $2$-category in the sense of_[@KMZ].

Now_we define_the_objects_of study of the remaining_part of this section:

Consider the_star algebra_$\Lambda_{n}$ and its quotient $\Delta_{n}$, given in Definition_\[DefStar\]._Choose the self-injective_core $S = {\left\{ 0 \right\}}$ for both the_algebras. We let ${\sc\mbox{Z}\hspace{1.0pt}}_{L}$ be the_$2$-full $2$-subsemicategory of_${\sc\mbox{Z}\hspace{1.0pt}}_{\Lambda_{n}}$_generated_by the $1$-morphisms $$\Lambda_{n}e_{i}_\otimes_{\Bbbk} \Lambda_{n}e_{0} \text{ for } i=0,1,\ldots,n.$$_and similarly let ${\sc\mbox{G}\hspace{1.0pt}}_{L}$ be the_$2$-semicategory generated by the $1$-morphisms $$\Delta_{n}e_{i} \otimes_{\Bbbk}_\Delta_{n}e_{0} \text{ for } i=0,1,\ldots,n.$$

The main_result
---------------

The main reason for our_interest in_the $2$-semicategories above is that_they closely connect_to the_following conjecture, formulated_in [@Zi2]:

For the algebra $\Lambda_{n}$ and_the self-injective core_$S = {\left\{ 0 \right\}}$, consider_the_$2$-category ${{\sc\mbox{D}\hspace{1.0pt}}}_{\!L}$. Equivalence_classes_of_simple transitive_$2$-representations of ${{\sc\mbox{D}\hspace{1.0pt}}}_{\!L}$_are_in bijection_with_set partitions of ${\left\{ 1,2,\ldots, n_\right\}}$.

As_was remarked in the introduction, the $2$-category_${{\sc\mbox{D}\hspace{1.0