Kelly-Pedicchio Theorem 4.2]. Furthermore, a regular epimorphism of simplicial objects in a regular Mal’tsev category is always a fibration [@EverVdL2 Proposition 4.4]. The Kan property for simplicial objects may also be expressed in terms of higher extensions: in a semi-abelian category, a simplicial object ${\ensuremath{\mathbb{X}}}$ is Kan if and only if all of its truncations, considered as higher arrows in all possible directions, have a domain which is an extension [@EGoeVdL].

\[Lemma-DeltaLambda-Square\] In a finitely complete category, given $n\geq 1$, $i\in n$, and an augmented simplicial object ${\ensuremath{\mathbb{X}}}$, the square $$\vcenter{\xymatrix{{\triangle}({\ensuremath{\mathbb{X}}},n) \ar[r]^-{\widehat{\partial}_{i}} \ar[d]_-{{\partial}_{i}} & {\raisebox{.145mm}{\scalebox{1.3}[1.15]{$\smallhorn$}}\!}^{i}({\ensuremath{\mathbb{X}}},n) \ar[d]^-{{\partial}_{i-1}^{i}\times {\partial}_{i}^{n-i}} \\
{\ensuremath{\mathbb{X}}}_{n-1} \ar[r]_-{{\lgroup}{\partial}_{j}{\rgroup}_{j}} & {\triangle}({\ensuremath{\mathbb{X}}},n-1)}}$$ is a pullback, where the arrow on the right is the restriction of $${\partial}_{i-1}^{i}\times {\partial}_{i}^{n-i}=\underbrace{{\partial}_{i-1}\times \cdots\times {\partial}_{i-1}}_{\text{$i$ times}} \times \underbrace{{\partial}_{i}\times \cdots \times {\partial}_{i}}_{\text{$n-i$ times}}\colon {\ensuremath{\mathbb{X}}}_{n-1}^{n}\to {\ensuremath{\mathbb{X}}}_{n-2}^{n}$$ to a morphism ${\raisebox{.145mm}{\scalebox{1.3}[1.15]{$\smallhorn$}}\!}^{i}({\ensuremath{\mathbb{X}}},n)\to {\triangle}({\ensuremath{\mathbb{X}}},n-1)$.

Here is a picture in degree $n=2$ for $i=1$: $$\begin{matrix}
\vcenter{\xymatrix@1@!0@R=2.44
Kelly - Pedicchio Theorem   4.2 ]. Furthermore, a regular epimorphism of simplicial objects in a regular Mal’tsev category is constantly a fibration   [ @EverVdL2 Proposition   4.4 ]. The Kan place for simplicial objects may also be carry in price of higher extensions: in a semi - abelian class, a simplicial object $ { \ensuremath{\mathbb{X}}}$ is Kan if and only if all of its truncations, consider as higher arrows in all potential directions, have a domain which is an extension   [ @EGoeVdL ]. 

 \[Lemma - DeltaLambda - Square\ ] In a finitely accomplished category, given $ n\geq 1 $, $ i\in n$, and an augmented simplicial object $ { \ensuremath{\mathbb{X}}}$, the square $ $ \vcenter{\xymatrix{{\triangle}({\ensuremath{\mathbb{X}}},n) \ar[r]^-{\widehat{\partial}_{i } } \ar[d]_-{{\partial}_{i } } & { \raisebox{.145mm}{\scalebox{1.3}[1.15]{$\smallhorn$}}\!}^{i}({\ensuremath{\mathbb{X}}},n) \ar[d]^-{{\partial}_{i-1}^{i}\times { \partial}_{i}^{n - i } } \\ 
 { \ensuremath{\mathbb{X}}}_{n-1 } \ar[r]_-{{\lgroup}{\partial}_{j}{\rgroup}_{j } } & { \triangle}({\ensuremath{\mathbb{X}}},n-1)}}$$ is a pullback, where the arrow on the right field is the restriction of $ $ { \partial}_{i-1}^{i}\times { \partial}_{i}^{n - i}=\underbrace{{\partial}_{i-1}\times \cdots\times { \partial}_{i-1}}_{\text{$i$ times } } \times \underbrace{{\partial}_{i}\times \cdots \times { \partial}_{i}}_{\text{$n - i$ times}}\colon { \ensuremath{\mathbb{X}}}_{n-1}^{n}\to { \ensuremath{\mathbb{X}}}_{n-2}^{n}$$ to a morphism $ { \raisebox{.145mm}{\scalebox{1.3}[1.15]{$\smallhorn$}}\!}^{i}({\ensuremath{\mathbb{X}}},n)\to { \triangle}({\ensuremath{\mathbb{X}}},n-1)$. 

 Here is a picture in academic degree $ n=2 $ for $ i=1 $: $ $ \begin{matrix } 
 \vcenter{\xymatrix@1@!0@R=2.44
Kelpy-Pedicchio Theorem 4.2]. Furtmermore, a regulat wpimor'hism or simplizial objects in a regular Map’twev cqtegory is always a ficration [@EvvrVdL2 Proposiuion 4.4]. The Kan propxdty for simpljgial mujects may also be expresved in terms ox fiyher extensions: in a semi-abelian catqgory, a slmplicial objest ${\emfurejath{\mathbb{X}}}$ is Kan if and only if zll of pts truncations, cpnsidered as higher arrows in wll possible direchions, have q doiqin which is an extenspmn [@EGoeVdL].

\[Lgmma-DeltaLambda-Square\] In a finitdly cpmplete cajztorj, given $n\geq 1$, $i\in n$, and an aunkented simplivial object ${\enxurxmaty{\mathbb{X}}}$, the square $$\vrenter{\xymatrix{{\triangje}({\ensuremdtk{\mathbb{X}}},n) \ar[r]^-{\widehat{\pqrrial}_{i}} \ar[d]_-{{\[artkql}_{i}} & {\rzixegox{.145mm}{\sfalxbox{1.3}[1.15]{$\smallhodn$}}\!}^{i}({\ensuremarh{\mathbb{X}}},n) \ar[d]^-{{\partisl}_{y-1}^{p}\yimes {\partiam}_{i}^{n-i}} \\
{\egstremath{\mathbb{X}}}_{n-1} \ar[r]_-{{\lgroup}{\partial}_{j}{\rgroup}_{b}} & {\friangle}({\ensuremath{\mathbv{X}}},n-1)}}$$ is a pullback, whete the arrjw on the right is the restriction of $${\partial}_{i-1}^{i}\tikes {\pergiao}_{i}^{k-i}=\unawrhrace{{\partial}_{i-1}\times \cdots\times {\partial}_{i-1}}_{\text{$i$ tyjex}} \nimes \underbrace{{\pcrtial}_{i}\times \cdoys \toies {\partial}_{i}}_{\tgxt{$n-i$ tnjea}}\colon {\ensuremath{\mwthbb{X}}}_{n-1}^{g}\to {\ebsuremath{\iathnb{X}}}_{n-2}^{n}$$ to a morphism ${\raiseboz{.145mm}{\scalebox{1.3}[1.15]{$\siqllhorn$}}\!}^{i}({\ensuremath{\lathbb{X}}},n)\to {\criangke}({\ensiremath{\mathbb{X}}},n-1)$.

Here is c picthre in degrfe $n=2$ for $j=1$: $$\begin{matrix}
\vcenger{\qymadrix@1@!0@R=2.44
Kelly-Pedicchio Theorem 4.2]. Furthermore, a regular epimorphism objects a regular category is always The property for simplicial may also be in terms of higher extensions: in semi-abelian category, a simplicial object ${\ensuremath{\mathbb{X}}}$ is Kan if and only if all its truncations, considered as higher arrows in all possible directions, have a domain is extension \[Lemma-DeltaLambda-Square\] a finitely complete category, given $n\geq 1$, $i\in n$, and an augmented simplicial object ${\ensuremath{\mathbb{X}}}$, the $$\vcenter{\xymatrix{{\triangle}({\ensuremath{\mathbb{X}}},n) \ar[r]^-{\widehat{\partial}_{i}} \ar[d]_-{{\partial}_{i}} & {\raisebox{.145mm}{\scalebox{1.3}[1.15]{$\smallhorn$}}\!}^{i}({\ensuremath{\mathbb{X}}},n) \ar[d]^-{{\partial}_{i-1}^{i}\times {\partial}_{i}^{n-i}} \\ \ar[r]_-{{\lgroup}{\partial}_{j}{\rgroup}_{j}} & {\triangle}({\ensuremath{\mathbb{X}}},n-1)}}$$ is pullback, where the arrow on right the restriction $${\partial}_{i-1}^{i}\times \cdots\times times}} \times \underbrace{{\partial}_{i}\times \times {\partial}_{i}}_{\text{$n-i$ times}}\colon {\ensuremath{\mathbb{X}}}_{n-1}^{n}\to {\ensuremath{\mathbb{X}}}_{n-2}^{n}$$ to a morphism ${\raisebox{.145mm}{\scalebox{1.3}[1.15]{$\smallhorn$}}\!}^{i}({\ensuremath{\mathbb{X}}},n)\to {\triangle}({\ensuremath{\mathbb{X}}},n-1)$. Here is a picture in degree $n=2$ $i=1$: $$\begin{matrix}
Kelly-Pedicchio Theorem 4.2]. FurtHermore, a reGular EpiMorPhIsm oF simPlicial objects IN a reGular Mal’tsev category is AlwayS a FIbraTIoN [@EvervdL2 PropOSiTIOn 4.4]. THe kaN prOpERtY for sImpLicial oBjects may aLso Be Expressed in tERmS of higher eXteNsions: in a semI-abElian cAtEgoRY, a simPliCial oBject ${\eNSuremaTh{\mathbb{X}}}$ Is kAn if anD Only if aLL Of Its tRuncations, consideREd AS higher arrows iN all poSsIBlE DIreCtiOns, have a doMaIn whiCH is an exTEnSION [@EGOEVdL].

\[Lemma-DeltALambda-SquaRE\] In A finitElY coMPlete cAtegoRy, GIveN $n\geq 1$, $i\in n$, anD an aUgmented sImplicIAl objecT ${\EnsuremAth{\matHbb{x}}}$, thE squARe $$\VcEntEr{\XYmaTRiX{{\trIAngLe}({\ensureMaTh{\MathbB{X}}},n) \aR[R]^-{\WIDehaT{\paRtiaL}_{i}} \ar[d]_-{{\Partial}_{i}} & {\raiseBox{.145Mm}{\scALebOx{1.3}[1.15]{$\smaLlhorN$}}\!}^{i}({\enSuRematH{\mathbB{X}}},n) \ar[D]^-{{\pArtial}_{i-1}^{i}\times {\paRtiaL}_{i}^{n-i}} \\
{\ensurEmaTh{\MatHbB{X}}}_{n-1} \ar[R]_-{{\Lgroup}{\ParTiaL}_{j}{\rgrouP}_{j}} & {\trianGLe}({\eNsUREMaTh{\mathbb{X}}},n-1)}}$$ is a pullbAcK, WHeRe the arrOw on thE RiGhT Is the resTrIctIon oF $${\PArtiaL}_{i-1}^{i}\tIMeS {\partial}_{I}^{n-i}=\undERbRaCe{{\partiAl}_{I-1}\times \CdOts\TimEs {\parTIal}_{i-1}}_{\Text{$i$ tImes}} \timeS \undeRBrace{{\partial}_{i}\tIMes \cdots \times {\PArTIAl}_{I}}_{\Text{$N-i$ tImes}}\colon {\enSureMAth{\mAthbB{x}}}_{n-1}^{N}\to {\ENsureMath{\mAtHBb{x}}}_{N-2}^{n}$$ to a morphism ${\raisebOx{.145Mm}{\scalEbox{1.3}[1.15]{$\sMallhorn$}}\!}^{i}({\ensuRemath{\mathBB{x}}},N)\to {\trianGle}({\eNSuREmath{\mathbb{X}}},n-1)$.

HEre is A picture in DEgree $n=2$ foR $i=1$: $$\begIn{matrix}
\Vcenter{\xyMATrix@1@!0@R=2.44
Kelly-Pedicchio Theorem 4. 2]. Furthe rmore , a  re gu larepim orphism of sim p lici al objects in a regula r Mal ’t s ev c a te goryis alwa y sa fib ra ti on[@ E ve rVdL2  Pr opositi on 4.4]. T heKa n property f o rsimplicial  ob jects may al sobe exp re sse d  in t erm s ofhigher extens ions: inas emi-ab e lian ca t e go ry,a simplicial obje c t$ {\ensuremath{\ mathbb {X } }} $ isKan  if and on ly  if a l l of it s  t r u n cat i ons, consider ed as highe r  ar rows i nall possib le di re c tio ns, have adoma in whichis ane xtensio n  [@EGoe VdL].
\[ Lem ma-D e lt aL amb da - Squ a re \]I n a  finitel yco mplet e ca t e g o ry,giv en $ n\geq  1$, $i\in n$ , a nd a n  au gment ed si mpli ci al ob ject $ {\ens ur emath{\mathbb{X }}}$ , the squ are  $ $\v ce nter{ \ xymatr ix{ {\t riangle }({\ens u rem at h { \ ma thbb{X}}},n) \ar[r ]^ - { \w idehat{\ partia l }_ {i } } \ar[d] _- {{\ part i a l}_{i }} & {\ raisebox {.145m m }{ \s calebox {1 .3}[1. 15 ]{$ \sm allho r n$}} \!}^{i }({\ensu remat h {\mathbb{X}}}, n ) \ar[d]^-{{\ p ar t i al } _{i- 1}^ {i}\times { \par t ial} _{i} ^ {n -i} }  \\
{ \ensu re m at h {\mathbb{X}}}_{n-1}  \ ar[r]_ -{{\l group}{\parti al}_{j}{\r g r o up}_{j}}  & { \ tr i angle}({\ensur emath {\mathbb{X } }},n-1)} }$$ i s a pull back, whe r e  the arr owonthe  ri g h tis the restri c t ionof  $${\pa rti al}_{i- 1}^ {i} \ti mes  { \partial} _{i}^{n- i} =\ un de rbr ace{{ \ partial} _{ i-1 }\ tim es \c d ots\ti mes { \par ti al } _{i -1}}_{\ t ex t { $i$ti me s}}\ti me s \un derb r ace {{\part ial}_{i}\ tim e s \c do ts  \times  {\partial}_{ i} }_{\text{$ n- i$times} } \ colon {\ ensuremath{\mathbb{X}}} _ {n-1}^{ n}\ to {\ ensu remath{\m ath bb{X}} }_{ n -2}^{n }$$ to  a mo rp his m ${\ra i s eb ox{ .1 45mm}{\sca l e box {1.3} [1 .15] {$\smal lhorn$}}\!}^{i}({\ e nsu remath{\mathb b{X }}}, n ) \t o { \ tr i ang le } ({\ e n suremath{\mathb b{X}}},n-1 )$ . 
Here is ap ict ur e in de gree $n =2$ f o r $i=1$ : $$\begi n{matrix} 
\ vcen t e r{\ xymatrix@1 @!0@R=2. 44
Kelly-Pedicchio Theorem 4.2]._Furthermore, a_regular epimorphism of simplicial_objects in_a_regular Mal’tsev_category_is always a_fibration [@EverVdL2 Proposition 4.4]. The_Kan property for simplicial_objects may also_be_expressed in terms of higher extensions: in a semi-abelian category, a simplicial object ${\ensuremath{\mathbb{X}}}$_is_Kan if_and_only_if all of its truncations,_considered as higher arrows in_all possible_directions, have a domain which is an extension [@EGoeVdL].

\[Lemma-DeltaLambda-Square\]_In_a finitely complete_category, given $n\geq 1$, $i\in n$, and an augmented_simplicial object ${\ensuremath{\mathbb{X}}}$, the square $$\vcenter{\xymatrix{{\triangle}({\ensuremath{\mathbb{X}}},n)_\ar[r]^-{\widehat{\partial}_{i}} \ar[d]_-{{\partial}_{i}} &_{\raisebox{.145mm}{\scalebox{1.3}[1.15]{$\smallhorn$}}\!}^{i}({\ensuremath{\mathbb{X}}},n)_\ar[d]^-{{\partial}_{i-1}^{i}\times_{\partial}_{i}^{n-i}} \\
{\ensuremath{\mathbb{X}}}_{n-1} \ar[r]_-{{\lgroup}{\partial}_{j}{\rgroup}_{j}} &_{\triangle}({\ensuremath{\mathbb{X}}},n-1)}}$$ is a pullback, where the_arrow on the right is the_restriction of $${\partial}_{i-1}^{i}\times {\partial}_{i}^{n-i}=\underbrace{{\partial}_{i-1}\times \cdots\times {\partial}_{i-1}}_{\text{$i$ times}}_\times \underbrace{{\partial}_{i}\times \cdots \times {\partial}_{i}}_{\text{$n-i$ times}}\colon_{\ensuremath{\mathbb{X}}}_{n-1}^{n}\to {\ensuremath{\mathbb{X}}}_{n-2}^{n}$$ to a morphism_${\raisebox{.145mm}{\scalebox{1.3}[1.15]{$\smallhorn$}}\!}^{i}({\ensuremath{\mathbb{X}}},n)\to {\triangle}({\ensuremath{\mathbb{X}}},n-1)$.

Here_is a picture in degree_$n=2$ for $i=1$:_$$\begin{matrix}
\vcenter{\xymatrix@1@!0@R=2.44