 from[@Po Theorem 3.4]:

\[HardWork\] For any homomorphism of $2$-(semi)categories $\mathbf{M}: {{\sc\mbox{C}\hspace{1.0pt}}}\rightarrow \mathbf{Cat}$, there is a $2$-(semi)functor $\widehat{\mathbf{M}}: {{\sc\mbox{C}\hspace{1.0pt}}}\rightarrow \mathbf{Cat}$ together with a non-strict $2$-natural isomorphism $\Psi_{\mathbf{M}}: \mathbf{M} \rightarrow \widehat{\mathbf{M}}$.

In particular this implies that the problem of classifying simple transitive $2$-representations of a $2$-(semi)category ${{\sc\mbox{C}\hspace{1.0pt}}}$ is equivalent to that of classifying weak simple transitive $2$-representations ${{\sc\mbox{C}\hspace{1.0pt}}}$:

\[SemiWork\] Let ${{\sc\mbox{C}\hspace{1.0pt}}}$ be a finitary $2$-(semi)category and let $\mathbf{M}$ be a weak $2$-representation of ${{\sc\mbox{C}\hspace{1.0pt}}}$. There is a (strict) $2$-representation $\widehat{\mathbf{M}}$ of ${{\sc\mbox{C}\hspace{1.0pt}}}$ equivalent to $\mathbf{M}$.

$2$-semicategories of projective functors
-----------------------------------------

Let $A$ be a be a finite-dimensional, basic, connected algebra and let ${\left\{ e_{1},\ldots, e_{n} \right\}}$ be a complete set of idempotents of $A$. Fix a small category $\mathcal{A}$ equivalent to $A\!\on{-proj}$. The $2$-semicategory ${\sc\mbox{Z}\hspace{1.0pt}}_{\!A}$ is defined as follows:

-   $\on{Ob}{\sc\mbox{Z}\hspace{1.0pt}}_{\!A} = {\left\{ \mathtt{i} \right\}}$, where $\mathtt{i}$ can be identified with $\mathcal{A}$;

-   $1$-morphisms of ${\sc\mbox{Z}\hspace{1.0pt}}_{\!A}$ are endofunctors of $\mathcal{A}$ isomorphic to tensoring with the projective $A$-$A
from[@Po Theorem 3.4 ]: 

 \[HardWork\ ] For any homomorphism of $ 2$-(semi)categories $ \mathbf{M }: { { \sc\mbox{C}\hspace{1.0pt}}}\rightarrow \mathbf{Cat}$, there is a $ 2$-(semi)functor $ \widehat{\mathbf{M } }: { { \sc\mbox{C}\hspace{1.0pt}}}\rightarrow \mathbf{Cat}$ together with a non - strict $ 2$-natural isomorphism $ \Psi_{\mathbf{M } }: \mathbf{M } \rightarrow \widehat{\mathbf{M}}$. 

 In particular this entail that the trouble of classifying simple transitive $ 2$-representations of a $ 2$-(semi)category $ { { \sc\mbox{C}\hspace{1.0pt}}}$ is equivalent to that of relegate unaccented simple transitive $ 2$-representations $ { { \sc\mbox{C}\hspace{1.0pt}}}$: 

 \[SemiWork\ ] Let $ { { \sc\mbox{C}\hspace{1.0pt}}}$ be a finitary $ 2$-(semi)category and permit $ \mathbf{M}$ be a weak $ 2$-representation of $ { { \sc\mbox{C}\hspace{1.0pt}}}$. There is a (rigorous) $ 2$-representation $ \widehat{\mathbf{M}}$ of $ { { \sc\mbox{C}\hspace{1.0pt}}}$ equivalent to $ \mathbf{M}$. 

 $ 2$-semicategories of projective functors 
 ----------------------------------------- 

 Let $ A$ be a be a finite - dimensional, basic, connected algebra and lease $ { \left\ { e_{1},\ldots, e_{n } \right\}}$ be a complete set of idempotents of $ A$. sterilize a small category $ \mathcal{A}$ equivalent to $ A\!\on{-proj}$. The $ 2$-semicategory $ { \sc\mbox{Z}\hspace{1.0pt}}_{\!A}$ is defined as follows: 

 -    $ \on{Ob}{\sc\mbox{Z}\hspace{1.0pt}}_{\!A } = { \left\ { \mathtt{i } \right\}}$, where $ \mathtt{i}$ can be identified with $ \mathcal{A}$; 

 -    $ 1$-morphisms of $ { \sc\mbox{Z}\hspace{1.0pt}}_{\!A}$ are endofunctors of $ \mathcal{A}$ isomorphous to tensoring with the projective $ A$ -$A
 frlm[@Po Theorem 3.4]:

\[HardWork\] Fov any homomorphism of $2$-(sxmi)catefories $\mxthbf{M}: {{\sc\mbox{C}\hspace{1.0pt}}}\rightacrow \mathvf{Cat}$, there is a $2$-(semi)fjnctor $\wifehat{\matybf{M}}: {{\wc\mbox{C}\hspede{1.0pt}}}\rigmcarros \matkbh{Cat}$ together wlth a non-stsict $2$-natural ivoooxphism $\Psi_{\mathbf{M}}: \mathbf{M} \rightarrow \widehay{\mwthbf{M}}$.

In partisulag ehis pmklies that the problem of classifging sikple transitife $2$-representations of a $2$-(seli)cahegory ${{\sc\mbox{C}\hspafe{1.0pt}}}$ is equuvalqbt to that ow classifypug weak simkle transitive $2$-representations ${{\sz\mbox{E}\hspace{1.0pt}}}$:

\[SeniQorn\] Let ${{\sc\mbox{R}\hspacv{1.0pt}}}$ be a finibsry $2$-(seki)categpry and let $\mabhbf{M}$ be a weak $2$-representatioi of ${{\sc\mbox{C}\hspace{1.0pt}}}$. There is a (strict) $2$-representqtuon $\whdehdt{\magybf{O}}$ or ${{\xc\jbox{C}\hdpare{1.0pt}}}$ equivament to $\matybf{M}$.

$2$-semicategories pf itojective fuhctors
-----------------------------------------

Jee $A$ be a be a finite-dimensional, basic, cmnnscted algebra and let ${\lwft\{ e_{1},\ldots, e_{n} \right\}}$ bg a compleee set of idempotents of $A$. Fix a small category $\mdthcam{X}$ ewulvaldbt to $A\!\on{-proj}$. The $2$-semicategory ${\sc\mbox{Z}\hspace{1.0pt}}_{\!A}$ js dvfined as follows:

-   $\on{Ob}{\sc\mbpx{X}\hxkace{1.0pt}}_{\!A} = {\left\{ \oathtt{n} \rjght\}}$, where $\mathtt{i}$ can be idenrified wiuh $\mayhcal{A}$;

-   $1$-morphisms of ${\sc\mboz{Z}\hspace{1.0pt}}_{\!A}$ cre endofunctors of $\mcthcal{A}$ isomurphoc to tensoring with the prolectivs $A$-$A
from[@Po Theorem 3.4]: \[HardWork\] For any homomorphism $\mathbf{M}: \mathbf{Cat}$, there a $2$-(semi)functor $\widehat{\mathbf{M}}: non-strict isomorphism $\Psi_{\mathbf{M}}: \mathbf{M} \widehat{\mathbf{M}}$. In particular implies that the problem of classifying transitive $2$-representations of a $2$-(semi)category ${{\sc\mbox{C}\hspace{1.0pt}}}$ is equivalent to that of classifying weak transitive $2$-representations ${{\sc\mbox{C}\hspace{1.0pt}}}$: \[SemiWork\] Let ${{\sc\mbox{C}\hspace{1.0pt}}}$ be a finitary $2$-(semi)category and let $\mathbf{M}$ a $2$-representation ${{\sc\mbox{C}\hspace{1.0pt}}}$. is a (strict) $2$-representation $\widehat{\mathbf{M}}$ of ${{\sc\mbox{C}\hspace{1.0pt}}}$ equivalent to $\mathbf{M}$. $2$-semicategories of projective functors ----------------------------------------- Let be a be a finite-dimensional, basic, connected algebra let ${\left\{ e_{1},\ldots, e_{n} be a complete set of of Fix a category equivalent $A\!\on{-proj}$. The $2$-semicategory is defined as follows: - $\on{Ob}{\sc\mbox{Z}\hspace{1.0pt}}_{\!A} = {\left\{ \mathtt{i} \right\}}$, where $\mathtt{i}$ can be identified with $\mathcal{A}$; $1$-morphisms of endofunctors of isomorphic tensoring the projective $A$-$A
 from[@Po Theorem 3.4]:

\[HardWork\] For aNy homomorpHism oF $2$-(seMi)cAtEgorIes $\mAthbf{M}: {{\sc\mbox{C}\hSPace{1.0Pt}}}\rightarrow \mathbf{Cat}$, tHere iS a $2$-(SEmi)fUNcTor $\wiDehat{\maTHbF{m}}: {{\Sc\mBoX{C}\HspAcE{1.0Pt}}}\RightArrOw \mathbF{Cat}$ togethEr wItH a non-strict $2$-nATuRal isomorpHisM $\Psi_{\mathbf{M}}: \mAthBf{M} \rigHtArrOW \wideHat{\MathbF{M}}$.

In paRTiculaR this implIeS That thE Problem OF ClAssiFying simple transiTIvE $2$-RepresentationS of a $2$-(seMi)CAtEGOry ${{\Sc\mBox{C}\hspace{1.0Pt}}}$ Is equIValent tO ThAT OF clASsifying weak sImple transiTIve $2$-RepresEnTatIOns ${{\sc\mBox{C}\hSpACe{1.0pT}}}$:

\[SemiWork\] LeT ${{\sc\mBox{C}\hspacE{1.0pt}}}$ be a FInitary $2$-(SEmi)cateGory anD leT $\maThbf{m}$ Be A wEak $2$-RePResENtAtiON of ${{\Sc\mbox{C}\hSpAcE{1.0pt}}}$. ThEre iS A (STRict) $2$-RepReseNtatiOn $\widehat{\mathBf{M}}$ Of ${{\sc\MBox{c}\hspaCe{1.0pt}}}$ eQuivAlEnt to $\Mathbf{m}$.

$2$-semiCaTegories of projeCtivE functors
-----------------------------------------

let $a$ bE a bE a FinitE-DimensIonAl, bAsic, conNected aLGebRa AND LeT ${\left\{ e_{1},\ldots, e_{n} \right\}}$ Be A COmPlete set Of idemPOtEnTS of $A$. Fix a SmAll CateGORy $\matHcal{a}$ EqUivalent To $A\!\on{-pROj}$. thE $2$-semicaTeGory ${\sc\MbOx{Z}\HspAce{1.0pt}}_{\!a}$ Is deFined aS follows:

-   $\On{Ob}{\sC\Mbox{Z}\hspace{1.0pt}}_{\!A} = {\LEft\{ \mathtt{i} \rigHT\}}$, wHERe $\MAthtT{i}$ cAn be identifIed wITh $\maThcaL{a}$;

-   $1$-mOrpHIsms oF ${\sc\mbOx{z}\HsPAce{1.0pt}}_{\!A}$ are endofunctoRs Of $\mathCal{A}$ iSomorphic to teNsoring witH THE projectIve $A$-$a
 from[@Po Theorem 3.4]:

\ [HardWork\ ] For  an y h om omor phis m of $2$-(semi ) cate gories $\mathbf{M}: {{ \sc\m bo x {C}\ h sp ace{1 .0pt}}} \ ri g h tar ro w\ma th b f{ Cat}$ , t here is  a $2$-(se mi) fu nctor $\wide h at {\mathbf{M }}:  {{\sc\mbox{ C}\ hspace {1 .0p t }}}\r igh tarro w \mat h bf{Cat }$ togeth er with a non-str i c t$2$- natural isomorphi s m$ \Psi_{\mathbf{ M}}: \ ma t hb f { M}\ri ghtarrow \ wi dehat { \mathbf { M} } $ . 

I n  particular t his implies tha t thepr obl e m of c lassi fy i ngsimple tran siti ve $2$-re presen t ationso f a $2$ -(semi )ca teg ory$ {{ \s c\m bo x {C} \ hs pac e {1. 0pt}}}$is  e quiva lent t o that  of  cla ssify ing weak simp letran s iti ve $2 $-rep rese nt ation s ${{\ sc\mb ox {C}\hspace{1.0p t}}} $:

\[Sem iWo rk \]Le t ${{ \ sc\mbo x{C }\h space{1 .0pt}}} $  be  a f i ni tary $2$-(semi)cat eg o r yand let$\math b f{ M} $  be a we ak  $2 $-re p r esent atio n  o f ${{\sc \mbox{ C }\ hs pace{1. 0p t}}}$.  T her e i s a ( s tric t) $2$ -represe ntati o n $\widehat{\m a thbf{M}}$ of$ {{ \ s c\ m box{ C}\ hspace{1.0p t}}} $  equ ival e nt  to $\mat hbf{M }$ . 
$ 2$-semicategories o fprojec tivefunctors
---- ---------- - - - -------- ---- - -- - --------

Let$A$ b e a be a f i nite-dim ensio nal, bas ic, conne c t ed algeb raand  le t $ { \ le ft\{ e_{1},\l d o ts,e_ {n} \ri ght \}}$ be  acom ple tese t of idem potentsof  $ A$ .Fix  a sm a ll categ or y $ \m ath cal{A } $ equi valen t to  $ A\ ! \on {-proj} $ .T h e $2 $- se mica teg or y ${\ sc\m b ox{ Z}\hspa ce{1.0pt} }_{ \ !A}$  i sdefined  as follows:
-    $\on{Ob }{ \sc \mbox{ Z } \hspace{ 1.0pt}}_{\!A} = {\left\ {  \matht t{i } \ri ght\ }}$, wher e $ \matht t{i } $ canbe ide ntifi ed  wi t h  $\ma t h ca l{A }$ ;

-   $1$ - m orp hisms  o f ${ \sc\mbo x{Z}\hspace{1.0pt} } _{\ !A}$ are endo fun ctor s of  $\ m at h cal {A } $ i s o morphic to tens oring with  t h eprojective $A$ -$ A
 from[@Po_Theorem 3.4]:

\[HardWork\]_For any homomorphism of_$2$-(semi)categories $\mathbf{M}:_{{\sc\mbox{C}\hspace{1.0pt}}}\rightarrow_\mathbf{Cat}$, there_is_a $2$-(semi)functor $\widehat{\mathbf{M}}:_{{\sc\mbox{C}\hspace{1.0pt}}}\rightarrow \mathbf{Cat}$ together_with a non-strict $2$-natural_isomorphism $\Psi_{\mathbf{M}}: \mathbf{M}_\rightarrow_\widehat{\mathbf{M}}$.

In particular this implies that the problem of classifying simple transitive $2$-representations of a_$2$-(semi)category_${{\sc\mbox{C}\hspace{1.0pt}}}$ is_equivalent_to_that of classifying weak simple_transitive $2$-representations ${{\sc\mbox{C}\hspace{1.0pt}}}$:

\[SemiWork\] Let ${{\sc\mbox{C}\hspace{1.0pt}}}$_be a_finitary $2$-(semi)category and let $\mathbf{M}$ be a weak_$2$-representation_of ${{\sc\mbox{C}\hspace{1.0pt}}}$. There_is a (strict) $2$-representation $\widehat{\mathbf{M}}$ of ${{\sc\mbox{C}\hspace{1.0pt}}}$ equivalent to_$\mathbf{M}$.

$2$-semicategories of projective functors
-----------------------------------------

Let $A$ be_a be a_finite-dimensional,_basic,_connected algebra and let_${\left\{ e_{1},\ldots, e_{n} \right\}}$ be a_complete set of idempotents of $A$._Fix a small category $\mathcal{A}$ equivalent to_$A\!\on{-proj}$. The $2$-semicategory ${\sc\mbox{Z}\hspace{1.0pt}}_{\!A}$ is defined_as follows:

-   $\on{Ob}{\sc\mbox{Z}\hspace{1.0pt}}_{\!A}_= {\left\{_\mathtt{i} \right\}}$, where $\mathtt{i}$ can_be identified with_$\mathcal{A}$;

- _ $1$-morphisms of_${\sc\mbox{Z}\hspace{1.0pt}}_{\!A}$ are endofunctors of $\mathcal{A}$ isomorphic_to tensoring with_the projective $A$-$A