 and for all objects $X_{1},\dots,X_{n},Y\in \underline{\mathcal{O}}$, the map of spaces $$\mul_{\mathcal{O}}\left(\left\{ X_{1},\dots,X_{n}\right\} ;Y\right)\to\mul_{h_{d}\mathcal{O}}\left(\left\{ \theta_{d}\left(X_{1}\right),\dots,\theta_{d}\left(X_{n}\right)\right\} ;\theta_{d}\left(Y\right)\right)$$ is the $\left(d-1\right)$-truncation map.

Follows from, (the universal property of $\theta_{d}$) and analogously to the proof for $d$-categories.

We conclude with a simple consequence of the theory of $d$-operads, that showcases the effectiveness of the strict model.

\[prop:Alg\_d\_Category\] Let $\mathcal{O}$ be an $\infty$-operad and let $\mathcal{U}$ be an (essentially) $d$-operad. The $\infty$-category $\underline{\alg}_{\mathcal{O}}\left(\mathcal{U}\right)$ is an (essentially) $d$-category.

Since an $\infty$-operad $\mathcal{U}$ is an essentially $d$-operad if and only if it is equivalent to a (strict) $d$-operad, it is enough to prove the strict version. By definition, the $\infty$-category $\alg_{\mathcal{O}}\left(\mathcal{U}\right)$ is a full subcategory of $\fun\left(\mathcal{O}^{\otimes},\mathcal{U}^{\otimes}\right)$. For $d\ge1$, the $\infty$-category $\mathcal{U}^{\otimes}$ is a $d$-category and, therefore, by T.2.3.4.8, the $\infty$-category $\fun\left(\mathcal{O}^{\otimes},\mathcal{U}^{\otimes}\right)$ is a $d$-category as well. Hence, every full subcategory of it is a $d$-category. For $d=0$, by we can assume that $\mathcal{O}^{\otimes}$ is a $0$-operad as well and therefore both $\mathcal{O}^{\otimes}$ and $\mathcal{U}^{\otimes}$ are skeletal 1-categories with faithful projection to $\finpt$. Observing that $\alg
and for all objects $ X_{1},\dots, X_{n},Y\in \underline{\mathcal{O}}$, the map of spaces $ $ \mul_{\mathcal{O}}\left(\left\ { X_{1},\dots, X_{n}\right\ }; Y\right)\to\mul_{h_{d}\mathcal{O}}\left(\left\ { \theta_{d}\left(X_{1}\right),\dots,\theta_{d}\left(X_{n}\right)\right\ }; \theta_{d}\left(Y\right)\right)$$ is the $ \left(d-1\right)$-truncation map. 

 follow from, (the cosmopolitan property of $ \theta_{d}$) and analogously to the proof for $ d$-categories. 

 We reason with a simple consequence of the hypothesis of $ d$-operads, that showcases the effectiveness of the strict mannequin. 

 \[prop: Alg\_d\_Category\ ] get $ \mathcal{O}$ be an $ \infty$-operad and let $ \mathcal{U}$ be an (essentially) $ d$-operad. The $ \infty$-category $ \underline{\alg}_{\mathcal{O}}\left(\mathcal{U}\right)$ is an (essentially) $ d$-category. 

 Since an $ \infty$-operad $ \mathcal{U}$ is an essentially $ d$-operad if and entirely if it is equivalent to a (strict) $ d$-operad, it is enough to test the rigid version. By definition, the $ \infty$-category $ \alg_{\mathcal{O}}\left(\mathcal{U}\right)$ is a wide subcategory of $ \fun\left(\mathcal{O}^{\otimes},\mathcal{U}^{\otimes}\right)$. For $ d\ge1 $, the $ \infty$-category $ \mathcal{U}^{\otimes}$ is a $ d$-category and, therefore, by T.2.3.4.8, the $ \infty$-category $ \fun\left(\mathcal{O}^{\otimes},\mathcal{U}^{\otimes}\right)$ is a $ d$-category as well. therefore, every full subcategory of it is a $ d$-category. For $ d=0 $, by we can assume that $ \mathcal{O}^{\otimes}$ is a $ 0$-operad as well and consequently both $ \mathcal{O}^{\otimes}$ and $ \mathcal{U}^{\otimes}$ are skeletal 1 - categories with faithful projection to $ \finpt$. Observing that $ \alg
 anf for all objects $X_{1},\dots,X_{k},Y\in \underline{\majhxal{O}}$, tie map kf spacer $$\mul_{\mathcal{O}}\left(\left\{ X_{1},\dots,X_{i}\rigyt\} ;Y\rught)\to\mul_{h_{d}\mathcal{O}}\lefg(\left\{ \thena_{d}\left(X_{1}\rught),\vots,\theta_{d}\left(X_{n}\cjght)\rigmc\} ;\thefw_{d}\leyt(B\right)\right)$$ is jhe $\left(d-1\rigvt)$-truncation mdp.

Woplows from, (the universal property os $\theta_{c}$) wnd analogousli to uhe prokf for $d$-categories.

We conclude with a simpne consequencr of the theory of $d$-operadd, thwt showcases the evfectivenesw of rhe strict mudel.

\[prop:Alg\_d\_Category\] Lgt $\mathcal{O}$ be an $\infty$-operad ana let $\mathcal{U}$ ve an (gssentially) $v$-operaq. The $\infty$-category $\gnderlime{\alg}_{\mathcal{O}}\lcft(\mavhcao{U}\right)$ is an (essentielly) $d$-category.

Since wn $\infty$-o[exad $\mathcal{U}$ is an eswebtialny $d$-mperxe iw ahd ohly if it is equivament to a (srrict) $d$-operad, it is egiugh to prove the seryct version. By definition, the $\infty$-catecorg $\alg_{\mathcal{O}}\left(\mathcao{U}\right)$ is a full subfategory jf $\fun\left(\mathcal{O}^{\otimes},\mathcal{U}^{\otimes}\right)$. For $d\ce1$, thx $\knfuy$-gwgwglry $\mathcal{U}^{\otimes}$ is a $d$-category and, therefows, ny T.2.3.4.8, the $\infty$-cabegory $\fun\left(\mathvap{O}^{\pjimes},\mathcal{U}^{\ojimes}\riygt)$ is a $d$-category as well. Hgnce, ecery full subvategory of it is a $d$-categoey. For $d=0$, by ce xan assume that $\machcal{O}^{\otimes}$ is s $0$-opetad as well and therefoxe botg $\mathcal{O}^{\ohimes}$ and $\oathcal{U}^{\otimes}$ afe xkaletal 1-categories with faiehful prooectipn to $\fknpt$. Obserding that $\wlg
and for all objects $X_{1},\dots,X_{n},Y\in \underline{\mathcal{O}}$, the spaces X_{1},\dots,X_{n}\right\} ;Y\right)\to\mul_{h_{d}\mathcal{O}}\left(\left\{ ;\theta_{d}\left(Y\right)\right)$$ is the universal of $\theta_{d}$) and to the proof $d$-categories. We conclude with a simple of the theory of $d$-operads, that showcases the effectiveness of the strict model. Let $\mathcal{O}$ be an $\infty$-operad and let $\mathcal{U}$ be an (essentially) $d$-operad. The $\underline{\alg}_{\mathcal{O}}\left(\mathcal{U}\right)$ an $d$-category. an $\infty$-operad $\mathcal{U}$ is an essentially $d$-operad if and only if it is equivalent to a $d$-operad, it is enough to prove the strict By definition, the $\infty$-category is a full subcategory of For the $\infty$-category is $d$-category therefore, by T.2.3.4.8, $\infty$-category $\fun\left(\mathcal{O}^{\otimes},\mathcal{U}^{\otimes}\right)$ is a $d$-category as well. Hence, every full subcategory of it is a $d$-category. For by we that $\mathcal{O}^{\otimes}$ a as and therefore both $\mathcal{U}^{\otimes}$ are skeletal 1-categories with faithful Observing that $\alg
 and for all objects $X_{1},\dots,X_{n},Y\iN \underline{\MathcAl{O}}$, The MaP of sPaceS $$\mul_{\mathcal{O}}\leFT(\lefT\{ X_{1},\dots,X_{n}\right\} ;Y\right)\to\mUl_{h_{d}\mAtHCal{O}}\LEfT(\left\{ \Theta_{d}\lEFt(x_{1}\RIghT),\dOtS,\thEtA_{D}\lEft(X_{n}\RigHt)\right\} ;\Theta_{d}\left(y\riGhT)\right)$$ is the $\lEFt(D-1\right)$-trunCatIon map.

FollowS frOm, (the uNiVerSAl proPerTy of $\tHeta_{d}$) aND analoGously to tHe PRoof foR $D$-categoRIEs.

we coNclude with a simple COnSEquence of the thEory of $D$-oPErADS, thAt sHowcases thE eFfectIVeness oF ThE STRicT Model.

\[prop:Alg\_d\_category\] Let $\MAthCal{O}$ be An $\InfTY$-operaD and lEt $\MAthCal{U}$ be an (essEntiAlly) $d$-operAd. The $\iNFty$-cateGOry $\undeRline{\aLg}_{\mAthCal{O}}\LEfT(\mAthCaL{u}\riGHt)$ Is aN (EssEntially) $D$-cAtEgory.

sincE AN $\INfty$-OpeRad $\mAthcaL{U}$ is an essentiAllY $d$-opERad If and Only iF it iS eQuivaLent to A (striCt) $D$-operad, it is enouGh to Prove the sTriCt VerSiOn. By dEFinitiOn, tHe $\iNfty$-catEgory $\alG_{\MatHcAL{o}}\LeFt(\mathcal{U}\right)$ is a FuLL SuBcategorY of $\fun\LEfT(\mAThcal{O}^{\otImEs},\mAthcAL{u}^{\otimEs}\riGHt)$. for $d\ge1$, thE $\infty$-CAtEgOry $\mathCaL{U}^{\otimEs}$ Is a $D$-caTegorY And, tHerefoRe, by T.2.3.4.8, the $\Infty$-CAtegory $\fun\left(\MAthcal{O}^{\otimes},\MAtHCAl{u}^{\OtimEs}\rIght)$ is a $d$-catEgorY As weLl. HeNCe, EveRY full SubcaTeGOrY Of it is a $d$-category. For $D=0$, bY we can AssumE that $\mathcal{O}^{\Otimes}$ is a $0$-oPERAd as well And tHErEFore both $\mathcaL{O}^{\otiMes}$ and $\mathCAl{U}^{\otimeS}$ are sKeletal 1-cAtegories WITh faithfUl pRojEctIon TO $\FiNpt$. Observing tHAT $\alg
 and for all objects $X_{1 },\dots,X_ {n},Y \in  \u nd erli ne{\ mathcal{O}}$,t he m ap of spaces $$\mul_{\ mathc al { O}}\ l ef t(\le ft\{ X_ { 1} , \ dot s, X_ {n} \r i gh t\} ; Y\r ight)\t o\mul_{h_{ d}\ ma thcal{O}}\le f t( \left\{ \t het a_{d}\left(X _{1 }\righ t) ,\d o ts,\t het a_{d} \left( X _{n}\r ight)\rig ht \ } ;\th e ta_{d}\ l e ft (Y\r ight)\right)$$ is th e  $\left(d-1\ri ght)$- tr u nc a t ion  ma p.

Follow sfrom, (the un i ve r s a l p r operty of $\t heta_{d}$)a ndanalog ou sly to the  proo ff or$d$-categor ies. 

We conc lude w i th a si m ple con sequen ceofthet he or y o f$ d$- o pe rad s , t hat show ca se s the  eff e c t i vene ssof t he st rict model.
\[p rop: A lg\ _d\_C atego ry\]  L et $\ mathca l{O}$  b e an $\infty$-o pera d and let  $\ ma thc al {U}$b e an ( ess ent ially)$d$-ope r ad.  T h e $\ infty$-category $\ un d e rl ine{\alg }_{\ma t hc al { O}}\left (\ mat hcal { U }\rig ht)$ is  an (ess ential l y)  $ d$-cate go ry.

S in cean$\inf t y$-o perad$\mathca l{U}$ is an essentia l ly $d$-operad if a nd only  if  it is equi vale n t to  a ( s tr ict )  $d$- opera d, it is enough to proveth e stri ct ve rsion. By def inition, t h e $\infty$ -cat e go r y $\alg_{\math cal{O }}\left(\m a thcal{U} \righ t)$ is a  full sub c a tegory o f $ \fu n\l eft ( \ ma thcal{O}^{\ot i m es}, \m athcal{ U}^ {\otime s}\ rig ht) $.Fo r $d\ge1$ , the $\ in ft y$ -c ate gory$ \mathcal {U }^{ \o tim es}$i s a $d $-cat egor yan d , t herefor e ,b y  T.2 .3 .4 .8,the  $ \inft y$-c a teg ory $\f un\left(\ mat h cal{ O} ^{ \otimes },\mathcal{U} ^{ \otimes}\r ig ht) $ is a $ d$-categ ory as well. Hence, eve r y fullsub categ oryof it isa $ d$-cat ego r y. For  $d=0$ , bywe  ca n assum e th at$\ mathcal{O} ^ { \ot imes} $is a  $0$-op erad as well and t h ere fore both $\m ath cal{ O } ^{ \ot i me s }$an d  $\ m a thcal{U}^{\otim es}$ are s ke l et al 1-categ o rie swith fa ithfulproje c tion to  $\finpt$ . Observi ng  tha t $\a lg
 and_for all_objects $X_{1},\dots,X_{n},Y\in \underline{\mathcal{O}}$, the_map of_spaces_$$\mul_{\mathcal{O}}\left(\left\{ X_{1},\dots,X_{n}\right\}_;Y\right)\to\mul_{h_{d}\mathcal{O}}\left(\left\{_\theta_{d}\left(X_{1}\right),\dots,\theta_{d}\left(X_{n}\right)\right\} ;\theta_{d}\left(Y\right)\right)$$ is_the $\left(d-1\right)$-truncation map.

Follows_from, (the universal property_of $\theta_{d}$) and_analogously_to the proof for $d$-categories.

We conclude with a simple consequence of the theory of_$d$-operads,_that showcases_the_effectiveness_of the strict model.

\[prop:Alg\_d\_Category\] Let_$\mathcal{O}$ be an $\infty$-operad and_let $\mathcal{U}$_be an (essentially) $d$-operad. The $\infty$-category $\underline{\alg}_{\mathcal{O}}\left(\mathcal{U}\right)$ is_an_(essentially) $d$-category.

Since an_$\infty$-operad $\mathcal{U}$ is an essentially $d$-operad if and only_if it is equivalent to a_(strict) $d$-operad, it_is_enough_to prove the strict_version. By definition, the $\infty$-category $\alg_{\mathcal{O}}\left(\mathcal{U}\right)$_is a full subcategory of $\fun\left(\mathcal{O}^{\otimes},\mathcal{U}^{\otimes}\right)$._For $d\ge1$, the $\infty$-category $\mathcal{U}^{\otimes}$ is a_$d$-category and, therefore, by T.2.3.4.8, the_$\infty$-category $\fun\left(\mathcal{O}^{\otimes},\mathcal{U}^{\otimes}\right)$ is a $d$-category_as well._Hence, every full subcategory of_it is a_$d$-category. For_$d=0$, by we_can assume that $\mathcal{O}^{\otimes}$ is a_$0$-operad as well_and therefore both $\mathcal{O}^{\otimes}$ and $\mathcal{U}^{\otimes}$_are_skeletal 1-categories with_faithful_projection_to $\finpt$._Observing that $\alg