mathtt{i})$. If ${{\sc\mbox{C}\hspace{1.0pt}}}$ has more than one object, one can fix an ordering of its objects and define the rank of a finitary $2$-representation of ${{\sc\mbox{C}\hspace{1.0pt}}}$ as a suitable tuple of positive integers. However, in this document we will only consider $2$-categories with a single object.

We say that ${{\sc\mbox{C}\hspace{1.0pt}}}$ is [*weakly fiat*]{} if it is finitary and has a weak antiautomorphism $(-)^{\ast}$ of finite order and adjunction morphisms, see [@MM6 Subsection 2.5]. If $(-)^{\ast}$ is involutive, we say that ${{\sc\mbox{C}\hspace{1.0pt}}}$ is [*fiat*]{}. The existence of left and right adjoints suffices to conclude weak fiatness: taking right (alternatively left) adjoints is functorial and gives the desired weak $2$-equivalence; see [@EGNO].

A $2$-category of the form ${{\sc\mbox{C}\hspace{1.0pt}}}_{\!A}$ is weakly fiat if and only if $A$ is self-injective. This is an immediate consequence of [@MM1 Lemma 45]:

\[AdjSelf\] Let $f,e$ be primitive mutually orthogonal idempotents of $A$. Then $$\big( \left(Ae \otimes_{\Bbbk} fA\right) \otimes_{A} -, \left( (fA)^{*} \otimes_{\Bbbk} eA \right) \otimes_{A} - \big)$$ is an adjoint pair of endofunctors of $A\!\on{-mod}$.

Abelianization
--------------

Given a finitary $2$-representation $\mathbf{M}$, we may consider its [*abelianization*]{} $\overline{\mathbf{M}}$, an abelian $2$-representation of ${{\sc\mbox{C}\hspace{1.0pt}}}$, defined in [@MMMT Section 3]. The abelianization defined therein is a significant improvement of that given in [@MM2 Subsection 4.2], however the main features we will use are shared by both constructions: we may recover $\mathbf{M}$ via a canonical embedding and the action of $1$-morphisms in $\overline{\mathbf{M}}$ is exact if ${{\sc\mbox
mathtt{i})$. If $ { { \sc\mbox{C}\hspace{1.0pt}}}$ has more than one object, one can fix an ordering of its object and specify the rank of a finitary $ 2$-representation of $ { { \sc\mbox{C}\hspace{1.0pt}}}$ as a suitable tuple of positive integer. However, in this document we will only consider $ 2$-categories with a individual object. 

 We say that $ { { \sc\mbox{C}\hspace{1.0pt}}}$ is [ * decrepit fiat * ] { } if it is finitary and have a decrepit antiautomorphism $ (-)^{\ast}$ of finite order and adjunction morphisms, see [ @MM6 Subsection 2.5 ]. If $ (-)^{\ast}$ is involutive, we read that $ { { \sc\mbox{C}\hspace{1.0pt}}}$ is [ * fiat * ] { }. The being of left and right adjoints suffice to conclude weak fiatness: taking mighty (alternatively left) adjoints is functorial and gives the desire weak $ 2$-equivalence; understand [ @EGNO ]. 

 A $ 2$-category of the form $ { { \sc\mbox{C}\hspace{1.0pt}}}_{\!A}$ is weakly fiat if and only if $ A$ is self - injective. This is an immediate consequence of [ @MM1 Lemma 45 ]: 

 \[AdjSelf\ ] lease $ f, e$ be primitive mutually orthogonal idempotents of $ A$. Then $ $ \big (\left(Ae \otimes_{\Bbbk } fA\right) \otimes_{A } -, \left (( fA)^ { * } \otimes_{\Bbbk } eA \right) \otimes_{A } - \big)$$ is an adjoint pair of endofunctors of $ A\!\on{-mod}$. 

 Abelianization 
 -------------- 

 Given a finitary $ 2$-representation $ \mathbf{M}$, we may consider its [ * abelianization * ] { } $ \overline{\mathbf{M}}$, an abelian $ 2$-representation of $ { { \sc\mbox{C}\hspace{1.0pt}}}$, defined in [ @MMMT Section 3 ]. The abelianization defined therein is a significant improvement of that given in [ @MM2 Subsection 4.2 ], however the main features we will use are shared by both constructions: we may recover $ \mathbf{M}$ via a canonical embedding and the military action of $ 1$-morphisms in $ \overline{\mathbf{M}}$ is exact if $ { { \sc\mbox
matjtt{i})$. If ${{\sc\mbox{C}\hspace{1.0pt}}}$ mas more than ong ibject, one czn fix av ordering of its objects anv dedine uke rank of a finitarh $2$-represejtation if ${{\sr\mbox{C}\hspace{1.0pt}}}$ as a suitable thile oy 'ositive integets. However, it this documend de will only consider $2$-categories with a singke object.

We say jhat ${{\xs\mbos{B}\hwpace{1.0pt}}}$ is [*weakly fiat*]{} if it js finiuary and has a weal antiautomorphism $(-)^{\ast}$ of vinihe order and adjunftion morphusms, wee [@MM6 Subseztion 2.5]. If $(-)^{\ast}$ is involotive, we say that ${{\sc\mbox{C}\hspace{1.0pg}}}$ is [*yiat*]{}. The exusrenfg of left anv righn adjoints sungices do conckude weak fiatkess: vakibg right (alternativelb left) adjoints is fonctorial dnb gives the desired wwaj $2$-equhvalance; wee [@EGHO].

E $2$-cztegorj oh the form ${{\ac\mbox{C}\hspaxe{1.0pt}}}_{\!A}$ is weakly fiau is and only if $Z$ is sqls-injective. This is an immediate consequtnce kf [@MM1 Lemma 45]:

\[AdjSelf\] Let $f,e$ be primitive mutuwlly orthjgonal idempotents of $A$. Then $$\big( \left(Ae \otimes_{\Bbbn} fA\rmgft) \itlmes_{X} -, \peft( (fA)^{*} \otimes_{\Bbbk} eA \right) \otimes_{A} - \big)$$ is ag acjpint pair of ekdofunctors of $A\!\on{-kof}$.

Anglianization
--------------

Gixen a yjnjtary $2$-representatiln $\mathff{M}$, ww may confidet its [*abelianization*]{} $\overlibe{\mathbf{M}}$, an qbelian $2$-representacion of ${{\sc\mbux{C}\hxpace{1.0lt}}}$, defined in [@MMMT Sectnon 3]. Tge abelianixation derkned therein is x spgnixicant improvement of that given in [@MM2 Xubsectkon 4.2], howevqr the maij feabgres we will use age shcred ty both cojstructions: we may recover $\mathuh{M}$ via a canomiwal embeddiug and the action os $1$-morphisms in $\overliue{\mathcf{M}}$ is exabt if ${{\sc\muox
mathtt{i})$. If ${{\sc\mbox{C}\hspace{1.0pt}}}$ has more than one can an ordering its objects and finitary of ${{\sc\mbox{C}\hspace{1.0pt}}}$ as suitable tuple of integers. However, in this document we only consider $2$-categories with a single object. We say that ${{\sc\mbox{C}\hspace{1.0pt}}}$ is [*weakly if it is finitary and has a weak antiautomorphism $(-)^{\ast}$ of finite order adjunction see Subsection If $(-)^{\ast}$ is involutive, we say that ${{\sc\mbox{C}\hspace{1.0pt}}}$ is [*fiat*]{}. The existence of left and right suffices to conclude weak fiatness: taking right (alternatively adjoints is functorial and the desired weak $2$-equivalence; see A of the ${{\sc\mbox{C}\hspace{1.0pt}}}_{\!A}$ weakly if and only $A$ is self-injective. This is an immediate consequence of [@MM1 Lemma 45]: \[AdjSelf\] Let $f,e$ be primitive orthogonal idempotents Then $$\big( \otimes_{\Bbbk} \otimes_{A} \left( (fA)^{*} \otimes_{\Bbbk} \otimes_{A} - \big)$$ is an adjoint of $A\!\on{-mod}$. Abelianization -------------- Given a finitary $2$-representation we may its [*abelianization*]{} $\overline{\mathbf{M}}$, an abelian $2$-representation ${{\sc\mbox{C}\hspace{1.0pt}}}$, defined in [@MMMT Section 3]. The abelianization therein is a significant improvement of that given in [@MM2 Subsection 4.2], however the main will use are shared both constructions: we recover via canonical and the of $1$-morphisms in $\overline{\mathbf{M}}$ is exact if ${{\sc\mbox
mathtt{i})$. If ${{\sc\mbox{C}\hspace{1.0pt}}}$ hAs more than One obJecT, onE cAn fiX an oRdering of its obJEcts And define the rank of a finItary $2$-RePReseNTaTion oF ${{\sc\mbox{c}\HsPACe{1.0pT}}}$ aS a SuiTaBLe Tuple Of pOsitive Integers. HoWevEr, In this documeNT wE will only cOnsIder $2$-categoriEs wIth a siNgLe oBJect.

WE saY that ${{\Sc\mbox{c}\Hspace{1.0Pt}}}$ is [*weaklY fIAt*]{} if it IS finitaRY AnD has A weak antiautomorpHIsM $(-)^{\Ast}$ of finite ordEr and aDjUNcTIOn mOrpHisms, see [@MM6 suBsectIOn 2.5]. If $(-)^{\ast}$ IS iNVOLutIVe, we say that ${{\sc\Mbox{C}\hspace{1.0PT}}}$ is [*Fiat*]{}. ThE eXisTEnce of Left aNd RIghT adjoints suFficEs to conclUde weaK FiatnesS: Taking rIght (alTerNatIvelY LeFt) AdjOiNTs iS FuNctORiaL and giveS tHe DesirEd weAK $2$-EQUivaLenCe; seE [@EGNO].

a $2$-category of thE foRm ${{\sc\MBox{c}\hspaCe{1.0pt}}}_{\!A}$ Is weAkLy fiaT if and Only iF $A$ Is self-injective. this Is an immedIatE cOnsEqUence OF [@MM1 LemMa 45]:

\[ADjSElf\] Let $f,E$ be primITivE mUTUAlLy orthogonal idempoTeNTS oF $A$. Then $$\biG( \left(AE \OtImES_{\Bbbk} fA\rIgHt) \oTimeS_{a} -, \Left( (fa)^{*} \otiMEs_{\bbbk} eA \riGht) \otiMEs_{a} - \bIg)$$ is an aDjOint paIr Of eNdoFunctORs of $a\!\on{-mod}$.

abelianiZatioN
--------------

given a finitary $2$-REpresentation $\MAtHBF{M}$, WE may ConSider its [*abeLianIZatiOn*]{} $\ovERlIne{\MAthbf{m}}$, an abElIAn $2$-REpresentation of ${{\sc\mbOx{c}\hspacE{1.0pt}}}$, deFined in [@MMMT SeCtion 3]. The abELIAnizatioN defINeD Therein is a signIficaNt improvemENt of that Given In [@MM2 SubsEction 4.2], howEVEr the maiN feAtuRes We wILL uSe are shared by BOTh coNsTructioNs: wE may recOveR $\maThbF{M}$ vIa A canonicaL embeddiNg AnD tHe ActIon of $1$-MOrphisms In $\OveRlIne{\MathbF{m}}$ is exaCt if ${{\sC\mboX
mathtt{i})$. If ${{\sc\mbo x{C}\hspac e{1.0 pt} }}$  h as m orethan one objec t , on e can fix an orderingof it so bjec t sand d efine t h er a nkof  a  fi ni t ar y $2$ -re present ation of $ {{\ sc \mbox{C}\hsp a ce {1.0pt}}}$  as  a suitabletup le ofpo sit i ve in teg ers.Howeve r , in t his docum en t  we wi l l onlyc o ns ider  $2$-categories w i th a single objec t.

We  s a yt h at${{ \sc\mbox{C }\ hspac e {1.0pt} } }$ i s  [* w eakly fiat*]{ } if it isf ini tary a nd  ha s  a wea k ant ia u tom orphism $(- )^{\ ast}$ offinite order a n d adjun ctionmor phi sms, se e[@M M6 Sub s ec tio n  2. 5]. If $ (- )^ {\ast }$ i s i n volu tiv e, w e say  that ${{\sc\ mbo x{C} \ hsp ace{1 .0pt} }}$is  [*fi at*]{} . The  e xistence of lef t an d right a djo in tssu ffice s  to co ncl ude  weak f iatness :  ta ki n g ri ght (alternatively  l e f t)  adjoint s is f u nc to r ial andgi ves  the d esire d we a k$2$-equi valenc e ;se e [@EGN O] .

A $ 2$ -ca teg ory o f  the  form${{\sc\m box{C } \hspace{1.0pt} } }_{\!A}$ is w e ak l y  f i at i f a nd only if$A$i s se lf-i n je cti v e. Th is is  a n  i m mediate consequence  o f [@MM 1 Lem ma 45]:

\[Ad jSelf\] Le t $ f,e$ beprim i ti v e mutually ort hogon al idempot e nts of $ A$. T hen $$\b ig( \left ( A e \otime s_{ \Bb bk}  fA \ r ig ht) \otimes_{ A }  -,\l eft( (f A)^ {*} \ot ime s_{ \Bb bk}  e A \right)  \otimes _{ A}  -  \ big )$$ i s  an adjo in t p ai r o f end o functo rs of  $A\ !\ on { -mo d}$.

A b el i a niza ti on 
--- --- -- ----- -

G i ven  a fini tary $2$- rep r esen ta ti on $\ma thbf{M}$, wema y consider  i ts[*abel i a nization *]{} $\overline{\mathbf { M}}$, a n a belia n $2 $-represe nta tion o f $ { {\sc\m box{C} \hspa ce {1. 0 p t}}}$ , de fin ed  in [@MMMT S ect ion 3 ].  The  abelia nization defined t h ere in is a signi fic anti m pr ove m en t  of  t h atg i ven in [@MM2 Su bsection 4 .2 ] ,however th e  ma in  featur es we w ill u s e are s hared byboth cons tr ucti o n s:we may rec over $\m athbf{M}$ via a ca nonic alembedd in g a nd th e acti o n o f $1$ -morph is ms in$\ove rl ine{\mat hbf{M}}$ is exact if ${ {\sc\m box
mathtt{i})$. If_${{\sc\mbox{C}\hspace{1.0pt}}}$ has_more than one object,_one can_fix_an ordering_of_its objects and_define the rank_of a finitary $2$-representation_of ${{\sc\mbox{C}\hspace{1.0pt}}}$ as_a_suitable tuple of positive integers. However, in this document we will only consider $2$-categories_with_a single_object.

We_say_that ${{\sc\mbox{C}\hspace{1.0pt}}}$ is [*weakly fiat*]{}_if it is finitary and_has a_weak antiautomorphism $(-)^{\ast}$ of finite order and adjunction_morphisms,_see [@MM6 Subsection_2.5]. If $(-)^{\ast}$ is involutive, we say that ${{\sc\mbox{C}\hspace{1.0pt}}}$_is [*fiat*]{}. The existence of left_and right adjoints_suffices_to_conclude weak fiatness: taking_right (alternatively left) adjoints is functorial_and gives the desired weak $2$-equivalence;_see [@EGNO].

A $2$-category of the form ${{\sc\mbox{C}\hspace{1.0pt}}}_{\!A}$_is weakly fiat if and only_if $A$ is self-injective. This_is an_immediate consequence of [@MM1 Lemma_45]:

\[AdjSelf\] Let $f,e$_be primitive_mutually orthogonal idempotents_of $A$. Then $$\big( \left(Ae \otimes_{\Bbbk}_fA\right) \otimes_{A} -,_\left( (fA)^{*} \otimes_{\Bbbk} eA \right) \otimes_{A}_-_\big)$$ is an_adjoint_pair_of endofunctors_of $A\!\on{-mod}$.

Abelianization
--------------

Given a_finitary_$2$-representation $\mathbf{M}$,_we_may consider its [*abelianization*]{} $\overline{\mathbf{M}}$, an_abelian_$2$-representation of ${{\sc\mbox{C}\hspace{1.0pt}}}$, defined in [@MMMT Section_3]. The abelianization defined_therein_is a significant improvement_of that given in [@MM2_Subsection 4.2], however the main features_we will_use are_shared by both constructions: we may recover $\mathbf{M}$ via a canonical_embedding and the action of $1$-morphisms_in $\overline{\mathbf{M}}$ is exact_if ${{\sc\mbox