$-groupoid.

[*Proof:*]{} Keep the notations of the proof of \[iterate\]. If $C$ is a groupoid this means that $G$ satisfies the condition that $\pi
_0(G)$ be a group, which in turn implies that $U$ is a groupoid. Note that $\pi
_0(U)=\ast$ is automatically a group; so applying the observation \[scholiumgpd\] once again, we get that $B$ is a groupoid. In the other direction, if $B$ is a groupoid then $C=Hom _B(b,b)$ is a groupoid by versions (2) and (3) of the definition of groupoid. [$/$$/$$/$]{}

[**.Realization functors**]{}

Recall that $nStrGpd$ is the category of strict $n$-groupoids as defined above \[thmdef\]. Let $Top$ be the category of topological spaces. The following definition encodes the minimum of what one would expect for a reasonable realization functor from strict $n$-groupoids to spaces.

\[realizationdef\] A [*realization functor for strict $n$-groupoids*]{} is a functor $$\Re : nStrGpd \rightarrow Top$$ together with the following natural transformations: $$r:Ob (A) \rightarrow \Re (A);$$ $$\zeta _i(A,x): \pi _i (A, x) \rightarrow \pi _i (\Re (A), r(x)),$$ the latter including $\zeta _0(A): \pi _0(A)\rightarrow \pi _0(\Re (A))$; such that the $\zeta _i(A,x)$ and $\zeta _0(A)$ are isomorphisms for $0\leq i \leq n$, and such that the $\pi _i(\Re (A), y)$ vanish for $i>n$.

\[realization\] [([@KV])]{} There exists a realization functor $\Re$ for strict $n$-groupoids.

Kapranov and Voevodsky [@KV] construct such a functor. Their construction proceeds by first defining a notion of “diagrammatic set”; they define a realization functor from $n$-groupoids to diagrammatic sets (denoted $Nerv$), and then define the topological realization of a diagrammatic set (denoted $|
\cdot |$). The composition of these
$ -groupoid. 

 [ * Proof :* ] { } Keep the notations of the proof of \[iterate\ ]. If $ C$ is a groupoid this means that $ G$ satisfies the circumstance that $ \pi 
 _ 0(G)$ be a group, which in twist implies that $ U$ is a groupoid. Note that $ \pi 
 _ 0(U)=\ast$ is mechanically a group; so enforce the observation \[scholiumgpd\ ] once again, we get that $ B$ is a groupoid. In the early commission, if $ B$ is a groupoid then $ C = Hom _ B(b, b)$ is a groupoid by version (2) and (3) of the definition of groupoid. [ $ /$$/$$/$ ] { } 

 [ * * .Realization functors * * ] { } 

 Recall that $ nStrGpd$ is the category of strict $ n$-groupoids as define above \[thmdef\ ]. Let $ Top$ be the category of topological space. The following definition encodes the minimum of what one would expect for a reasonable realization functor from strict $ n$-groupoids to spaces. 

 \[realizationdef\ ] A [ * realization functor for strict $ n$-groupoids * ] { } is a functor $ $ \Re: nStrGpd \rightarrow Top$$ in concert with the following natural transformations: $ $ gas constant: Ob (A) \rightarrow \Re (A);$$ $ $ \zeta _ i(A, x ): \pi _ i (A, x) \rightarrow \pi _ i (\Re (A), r(x)),$$ the latter including $ \zeta _ 0(A ): \pi _ 0(A)\rightarrow \pi _ 0(\Re (A))$; such that the $ \zeta _ i(A, x)$ and $ \zeta _ 0(A)$ are isomorphism for $ 0\leq i \leq n$, and such that the $ \pi _ i(\Re (A), y)$ fly for $ i > n$. 

 \[realization\ ] [ ([ @KV ]) ] { } There exists a realization functor $ \Re$ for rigid $ n$-groupoids. 

 Kapranov and Voevodsky [ @KV ] construct such a functor. Their construction proceeds by foremost defining a notion of “ diagrammatic set ”; they define a realization functor from $ n$-groupoids to diagrammatic sets (denoted $ Nerv$), and then specify the topological realization of a diagrammatic set (denoted $ | 
 \cdot |$). The composition of these
$-grokpoid.

[*Proof:*]{} Keep the notauions of the prooy of \[itxrate\]. Ir $C$ is a groupoid this means that $G$ darisfitf the condition thxt $\pi
_0(G)$ be a group, whirh in turn implixa that $M$ is z grobpiid. Note that $\ki
_0(U)=\ast$ is audomatically a cruu'; so applying the observation \[scholitmgpd\] omcf again, we get thau $B$ is z groupoid. In the other direction, jf $B$ is a groupoid tnen $C=Hom _B(b,b)$ is a groupoid by gersions (2) and (3) of hhe definituon jd groupoid. [$/$$/$$/$]{}

[**.Rdalization functors**]{}

Reczll that $nStrGpd$ is the categorh of xtrict $n$-griupoifv as definev abovv \[thmdef\]. Let $Bpp$ be dhe catrgory of topolpgiral wpaces. The following vefinition encodes tre minimuk kf what one would ezpect for a rdqsovabme rsalizahioi functor fdom strict $b$-groupoids to spacex.

\[rqqlizationdef\] Z [*realyzwtion functor for strict $n$-groupoids*]{} is d fhnctor $$\Re : nStrGpd \righrarrow Top$$ together wlth the fjllowing natural transformations: $$r:Ob (A) \rightarrow \Re (A);$$ $$\xetc _i(A,x): \ou _l (A, x) \rightarrow \pi _i (\Re (A), r(x)),$$ the latter incltsimg $\zeta _0(A): \pi _0(A)\rinhtarrow \pi _0(\Re (A))$; sicj yrat the $\zeta _k(A,x)$ anb $\zsta _0(A)$ are isomorphlsms fot $0\leq u \leq n$, agd sich that the $\pi _i(\Re (A), y)$ vanush for $i>n$.

\[reclization\] [([@KV])]{} There exnsts a realivation funcyor $\Re$ for strict $n$-grou'oids.

Kzpranov and Voevodskg [@KV] construct suzh s xunctor. Ufeir construction proceeds by yirst dewinimg a njtion of “dlagrammatic set”; they deflne a raalization functor from $n$-groupoids to diajcammatic sets (danoned $Nerv$), cnd thcn define the tjpological reakizatiou of a diagrammanic set (dxnoted $|
\cdot |$). The composithln of these
$-groupoid. [*Proof:*]{} Keep the notations of the \[iterate\]. $C$ is groupoid this means that _0(G)$ be a which in turn that $U$ is a groupoid. Note $\pi _0(U)=\ast$ is automatically a group; so applying the observation \[scholiumgpd\] once again, get that $B$ is a groupoid. In the other direction, if $B$ is groupoid $C=Hom is groupoid by versions (2) and (3) of the definition of groupoid. [$/$$/$$/$]{} [**.Realization functors**]{} Recall that is the category of strict $n$-groupoids as defined \[thmdef\]. Let $Top$ be category of topological spaces. The definition the minimum what would for a reasonable functor from strict $n$-groupoids to spaces. \[realizationdef\] A [*realization functor for strict $n$-groupoids*]{} is a functor $$\Re nStrGpd \rightarrow with the natural $$r:Ob \rightarrow \Re (A);$$ \pi _i (A, x) \rightarrow \pi r(x)),$$ the latter including $\zeta _0(A): \pi _0(A)\rightarrow _0(\Re (A))$; that the $\zeta _i(A,x)$ and $\zeta are isomorphisms for $0\leq i \leq n$, and that the $\pi _i(\Re (A), y)$ vanish for $i>n$. \[realization\] [([@KV])]{} There exists a realization for strict $n$-groupoids. Kapranov Voevodsky [@KV] construct a Their proceeds first defining notion of “diagrammatic set”; they define a realization functor from $n$-groupoids diagrammatic sets (denoted $Nerv$), and then define the topological realization diagrammatic (denoted $| \cdot The composition of these
$-groupoid.

[*Proof:*]{} Keep the notatIons of the pRoof oF \[itEraTe\]. if $C$ iS a grOupoid this meanS That $g$ satisfies the condition That $\pI
_0(G)$ BE a grOUp, Which In turn iMPlIES thAt $u$ iS a gRoUPoId. NotE thAt $\pi
_0(U)=\asT$ is automatIcaLlY a group; so appLYiNg the obserVatIon \[scholiumgPd\] oNce agaIn, We gET that $b$ is A grouPoid. In THe otheR directioN, iF $b$ is a grOUpoid thEN $c=HOm _B(b,B)$ is a groupoid by verSIoNS (2) and (3) of the definItion oF gROuPOId. [$/$$/$$/$]{}

[**.REalIzation funCtOrs**]{}

ReCAll that $NstRgPD$ is THe category of sTrict $n$-groupOIds As defiNeD abOVe \[thmdEf\]. Let $toP$ Be tHe category oF topOlogical sPaces. THE followINg definItion eNcoDes The mINiMuM of WhAT onE WoUld EXpeCt for a reAsOnAble rEaliZATIOn fuNctOr frOm strIct $n$-groupoids To sPaceS.

\[ReaLizatIondeF\] A [*reAlIzatiOn funcTor foR sTrict $n$-groupoids*]{} Is a fUnctor $$\Re : nstrgpD \riGhTarroW top$$ togEthEr wIth the fOllowinG NatUrAL TRaNsformations: $$r:Ob (A) \riGhTARrOw \Re (A);$$ $$\zetA _i(A,x): \pi _I (a, x) \RiGHtarrow \pI _i (\re (A), R(x)),$$ thE LAtter InclUDiNg $\zeta _0(A): \pI _0(A)\righTArRoW \pi _0(\Re (A))$; sUcH that tHe $\ZetA _i(A,X)$ and $\zETa _0(A)$ aRe isomOrphisms For $0\leQ I \leq n$, and such thAT the $\pi _i(\Re (A), y)$ vaNIsH FOr $I>N$.

\[reaLizAtion\] [([@KV])]{} TherE exiSTs a rEaliZAtIon FUnctoR $\Re$ foR sTRiCT $n$-groupoids.

Kapranov AnD VoevoDsky [@Kv] construct sucH a functor. THEIR construCtioN PrOCeeds by first deFininG a notion of “DIagrammaTic seT”; they defIne a realiZATion funcTor FroM $n$-gRouPOIdS to diagrammatIC Sets (DeNoted $NeRv$), aNd then dEfiNe tHe tOpoLoGical realIzation oF a DiAgRaMmaTic seT (Denoted $|
\cDoT |$). ThE cOmpOsitiON of theSe
$-groupoid.

[*Proof:*]{}Keep the n otati ons  of  t he p roof  of \[iterate\ ] . If  $C$ is a groupoid thi s mea ns that $G $ sat isfiest he c ond it io n t ha t  $ \pi
_ 0(G )$ be a  group, wh ich  i n turn impli e sthat $U$ i s a  groupoid. N ote  that$\ pi_ 0(U)= \as t$ is  autom a ticall y a group ;s o appl y ing the o bs erva tion \[scholiumgp d \] once again, we  get t ha t  $ B $  is  agroupoid.In  theo ther di r ec t i o n,i f $B$ is a gr oupoid then $C= Hom _B (b ,b) $  is agroup oi d  by  versions ( 2) a nd (3) of  the d e finitio n  of gro upoid.  [$ /$$ /$$/ $ ]{ }
[* *. R eal i za tio n  fu nctors** ]{ }
Reca ll t h a t $nSt rGp d$ i s the  category ofstr ict$ n$- group oidsas d ef inedabove\[thm de f\]. Let $Top$be t he catego ryof  to po logic a l spac es.  Th e follo wing de f ini ti o n en codes the minimumof w ha t one wo uld ex p ec tf or a rea so nab le r e a lizat ionf un ctor fro m stri c t$n $-group oi ds tosp ace s.
\[re a liza tionde f\] A [* reali z ation functorf or strict $n$ - gr o u po i ds*] {}is a functo r $$ \ Re :  nSt r Gp d \ r ighta rrowTo p $$ together with the f ol lowing  natu ral transform ations: $$ r : O b (A) \r ight a rr o w \Re (A);$$ $ $\zet a _i(A,x): \pi _i ( A, x)  \righta rrow \pi_ i  (\Re (A ),r(x )), $$t h elatter includ i n g $\ ze ta _0(A ):\pi _0( A)\ rig hta rro w\pi _0(\R e (A))$;  s uc hth atthe $ \ zeta _i( A, x)$  a nd$\zet a  _0(A) $ are  iso mo rp h ism s for $ 0 \l e q  i \ le qn$,and  s uch t hatt he$\pi _i (\Re (A),  y) $  van is hfor $i> n$.

\[realiz at ion\] [([@ KV ])] {} The r e  existsa realization functor $ \ Re$ for  st rict$n$- groupoids .
Kapran ova nd Voe vodsky  [@KV ]con s t ructs u ch  afu nctor. The i r  co nstru ct ionproceed s by first definin g  anotion of “di agr amma t i cset ” ;t hey  d e fin e a realization f unctor fro m$ n$ -groupoids todi agramma tic set s (de n oted $N erv$), an d then de fi ne t h e  to pologicalrealizat ion of ad iagra m ma tic s et(denot ed  $| 
\cdo t |$). The  comp ositio nof the se
$-groupoid.

[*Proof:*]{} Keep_the notations_of the proof of_\[iterate\]. If_$C$_is a_groupoid_this means that_$G$ satisfies the_condition that $\pi
_0(G)$ be_a group, which_in_turn implies that $U$ is a groupoid. Note that $\pi
_0(U)=\ast$ is automatically a group;_so_applying the_observation_\[scholiumgpd\]_once again, we get that_$B$ is a groupoid. In_the other_direction, if $B$ is a groupoid then $C=Hom__B(b,b)$_is a groupoid_by versions (2) and (3) of the definition of_groupoid. [$/$$/$$/$]{}

[**.Realization functors**]{}

Recall that $nStrGpd$ is_the category of_strict_$n$-groupoids_as defined above \[thmdef\]._Let $Top$ be the category of_topological spaces. The following definition encodes_the minimum of what one would expect_for a reasonable realization functor from_strict $n$-groupoids to spaces.

\[realizationdef\] A_[*realization functor_for strict $n$-groupoids*]{} is a_functor $$\Re :_nStrGpd \rightarrow_Top$$ together with_the following natural transformations: $$r:Ob (A)_\rightarrow \Re (A);$$_$$\zeta _i(A,x): \pi _i (A, x)_\rightarrow_\pi _i (\Re_(A),_r(x)),$$_the latter_including $\zeta _0(A):_\pi__0(A)\rightarrow \pi__0(\Re_(A))$; such that the $\zeta _i(A,x)$_and_$\zeta _0(A)$ are isomorphisms for $0\leq i_\leq n$, and such_that_the $\pi _i(\Re (A),_y)$ vanish for $i>n$.

\[realization\] [([@KV])]{}_There exists a realization functor $\Re$_for strict_$n$-groupoids.

Kapranov and_Voevodsky [@KV] construct such a functor. Their construction proceeds by first_defining a notion of “diagrammatic set”;_they define a realization_functor from_$n$-groupoids_to diagrammatic sets_(denoted_$Nerv$), and_then define the topological realization of a_diagrammatic set_(denoted $|
\cdot |$). The composition of_these