ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}^{\text{op}}{\ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}{\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}{\ensuremath{\mathscr{V}}}$$ $$J: {\ensuremath{\mathscr{C}}}{\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}{\ensuremath{\mathscr{V}}}$$ so that $$\widehat{T}(M) = A \ast M = \int^{U,V} P(U,V;-) {\ensuremath{\otimes}}AU {\ensuremath{\otimes}}MV.$$ This means that the module $T: \xymatrix@1{{\ensuremath{\mathscr{C}}}\ar[r] |-{\object@{/}} & {\ensuremath{\mathscr{C}}}}$ is defined by $$\begin{split}
T(U,V)  & = \widehat{T}({\ensuremath{\mathscr{C}}}(U,-))V \\
    & = \int^{U',V'} P(U',V';V) {\ensuremath{\otimes}}AU' {\ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}(U,V') \\
    & \cong \int^{U'} P(U',U;V) {\ensuremath{\otimes}}AU'.
\end{split}$$

A promonad $T$ on ${\ensuremath{\mathscr{C}}}$ has a unit $\eta: {\ensuremath{\overset{\vee}}}{1} {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T$ with components $$\eta_{U,V} : {\ensuremath{\mathscr{C}}}(U,V) {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U,V)$$ and so is determined by $$\eta_{U,V}(1_U) : I {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U,U),$$ and has a multiplication $\mu: T {\ensuremath{\circ}}T {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T$ with components $$\mu_{U,W} : \int^{V} T(V,W) {\ensuremath{\otimes}}T(U,V) {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U,W)$$ and so is determined by a natural family $$\mu'_{U,V
ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}^{\text{op}}{\ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}{\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}{\ensuremath{\mathscr{V}}}$$ $ $ J: { \ensuremath{\mathscr{C}}}{\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}{\ensuremath{\mathscr{V}}}$$ so that $ $ \widehat{T}(M) = A \ast M = \int^{U, V } P(U, V;-) { \ensuremath{\otimes}}AU { \ensuremath{\otimes}}MV.$$ This means that the module $ metric ton: \xymatrix@1{{\ensuremath{\mathscr{C}}}\ar[r ] |-{\object@{/ } } & { \ensuremath{\mathscr{C}}}}$ is define by $ $ \begin{split } 
 T(U, V)   & = \widehat{T}({\ensuremath{\mathscr{C}}}(U,-))V \\ 
     & = \int^{U',V' } P(U',V';V) { \ensuremath{\otimes}}AU' { \ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}(U, V') \\ 
     & \cong \int^{U' } P(U',U;V) { \ensuremath{\otimes}}AU'. 
 \end{split}$$ 

 A promonad $ T$ on $ { \ensuremath{\mathscr{C}}}$ has a unit $ \eta: { \ensuremath{\overset{\vee}}}{1 } { \ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T$ with components $ $ \eta_{U, V }: { \ensuremath{\mathscr{C}}}(U, V) { \ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U, V)$$ and then is determined by $ $ \eta_{U, V}(1_U): I { \ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U, U),$$ and has a generation $ \mu: T { \ensuremath{\circ}}T { \ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T$ with components $ $ \mu_{U, W }: \int^{V } T(V, W) { \ensuremath{\otimes}}T(U, V) { \ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U, W)$$ and so is determined by a lifelike syndicate $ $ \mu'_{U, V
enskremath{\otimes}}{\ensuremath{\mxthscr{C}}}^{\text{op}}{\ensuremati{\otimes}}{\snsuremagh{\mathscr{C}}}{\ensuremath{\xymatrix@1@R=15pt{\ae[r]&}}}{\ensyremath{\mathscr{V}}}$$ $$J: {\ensufemath{\matjscr{C}}}{\ensyremeth{\xymatrix@1@C=15pt{\ar[c]&}}}{\snsuremath{\matgdcr{V}}}$$ wo that $$\widehaj{T}(M) = A \ast M = \int^{U,V} P(U,V;-) {\envufelath{\otimes}}AU {\ensuremath{\otimes}}MV.$$ Thif means tjat the module $T: \xjmwtris@1{{\vnwuremath{\mathscr{C}}}\ar[r] |-{\object@{/}} & {\ehsuremauh{\mathscr{C}}}}$ is defimed by $$\begin{split}
T(U,V)  & = \wifehah{T}({\ensuremath{\mathscg{C}}}(U,-))V \\
    & = \unt^{U',D'} P(U',V';V) {\ensureoath{\otimes}}AU' {\ensurematg{\otimes}}{\ensuremath{\mathscr{C}}}(U,V') \\
    & \cony \int^{U'} P(U',U;V) {\ebsuggmath{\otimes}}AN'.
\end{spjit}$$

A promonad $T$ on ${\etsuremayh{\mathscr{C}}}$ has a nnit $\eta: {\ensuremath{\oversev{\vee}}}{1} {\ensuremath{\xymattix@1@C=15pt{\ar[r]&}}}T$ wnth components $$\eta_{U,V} : {\ebsurekath{\kathrxr{C}}}(J,V) {\tnsnrejath{\xylatcix@1@C=15pt{\ar[r]&}}}T(U,B)$$ and so is determined by $$\eta_{U,F}(1_U) : I {\ensuremath{\symatryx@1@S=15pt{\ar[r]&}}}T(U,U),$$ and has a multiplication $\mu: T {\enauremath{\circ}}T {\ensurematy{\xymatrix@1@C=15pt{\ar[r]&}}}T$ with componenes $$\mu_{U,W} : \int^{V} T(V,W) {\ensuremath{\otimes}}T(U,V) {\ensuremath{\xfmatrmx@1@Z=15pt{\cv[v]&}}}T(U,W)$$ qnf so is determined by a natural family $$\mu'_{U,V
ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}^{\text{op}}{\ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}{\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}{\ensuremath{\mathscr{V}}}$$ $$J: {\ensuremath{\mathscr{C}}}{\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}{\ensuremath{\mathscr{V}}}$$ so that $$\widehat{T}(M) = M \int^{U,V} P(U,V;-) {\ensuremath{\otimes}}MV.$$ This means |-{\object@{/}} {\ensuremath{\mathscr{C}}}}$ is defined $$\begin{split} T(U,V) & \widehat{T}({\ensuremath{\mathscr{C}}}(U,-))V \\ & = \int^{U',V'} P(U',V';V) {\ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}(U,V') \\ & \cong \int^{U'} P(U',U;V) {\ensuremath{\otimes}}AU'. \end{split}$$ A promonad $T$ on ${\ensuremath{\mathscr{C}}}$ a unit $\eta: {\ensuremath{\overset{\vee}}}{1} {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T$ with components $$\eta_{U,V} : {\ensuremath{\mathscr{C}}}(U,V) {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U,V)$$ and so determined $$\eta_{U,V}(1_U) I and has a multiplication $\mu: T {\ensuremath{\circ}}T {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T$ with components $$\mu_{U,W} : \int^{V} T(V,W) {\ensuremath{\otimes}}T(U,V) {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U,W)$$ so is determined by a natural family $$\mu'_{U,V
ensuremath{\otimes}}{\ensurematH{\mathscr{C}}}^{\tExt{op}}{\EnsUreMaTh{\otImes}}{\Ensuremath{\mathSCr{C}}}{\eNsuremath{\xymatrix@1@C=15pt{\ar[R]&}}}{\ensuReMAth{\mAThScr{V}}}$$ $$J: {\EnsuremATh{\MAThsCr{c}}}{\eNsuReMAtH{\xymaTriX@1@C=15pt{\ar[r]&}}}{\Ensuremath{\MatHsCr{V}}}$$ so that $$\widEHaT{T}(M) = A \ast M = \inT^{U,V} p(U,V;-) {\ensurematH{\otImes}}AU {\EnSurEMath{\oTimEs}}MV.$$ THis meaNS that tHe module $T: \XyMAtrix@1{{\eNSurematH{\MAtHscr{c}}}\ar[r] |-{\object@{/}} & {\ensuremATh{\MAthscr{C}}}}$ is definEd by $$\beGiN{SpLIT}
T(U,v)  & = \wiDehat{T}({\ensuReMath{\mAThscr{C}}}(U,-))v \\
    & = \InT^{u',v'} p(U',V';v) {\Ensuremath{\otiMes}}AU' {\ensureMAth{\Otimes}}{\EnSurEMath{\maThscr{c}}}(U,v') \\
    & \ConG \int^{U'} P(U',U;V) {\enSureMath{\otimeS}}AU'.
\end{SPlit}$$

A prOMonad $T$ oN ${\ensurEmaTh{\mAthsCR{C}}}$ HaS a uNiT $\Eta: {\ENsUreMAth{\Overset{\vEe}}}{1} {\EnSuremAth{\xYMATRix@1@C=15Pt{\aR[r]&}}}T$ wIth coMponents $$\eta_{U,V} : {\EnsUremATh{\mAthscR{C}}}(U,V) {\eNsurEmAth{\xyMatrix@1@c=15pt{\ar[R]&}}}T(u,V)$$ and so is determIned By $$\eta_{U,V}(1_U) : I {\EnsUrEmaTh{\XymatRIx@1@C=15pt{\aR[r]&}}}T(u,U),$$ aNd has a mUltipliCAtiOn $\MU: t {\EnSuremath{\circ}}T {\ensurEmATH{\xYmatrix@1@C=15Pt{\ar[r]&}}}T$ WItH cOMponents $$\Mu_{u,W} : \iNt^{V} T(v,w) {\EnsurEmatH{\OtImes}}T(U,V) {\eNsuremATh{\XyMatrix@1@C=15Pt{\Ar[r]&}}}T(U,W)$$ AnD so Is dEtermINed bY a natuRal familY $$\mu'_{U,V
ensuremath{\otimes}}{\ensu remath{\ma thscr {C} }}^ {\ text {op} }{\ensuremath{ \ otim es}}{\ensuremath{\math scr{C }} } {\en s ur emath {\xymat r ix @ 1 @C= 15 pt {\a r[ r ]& }}}{\ ens uremath {\mathscr{ V}} }$ $ $$J: {\ens u re math{\math scr {C}}}{\ensur ema th{\xy ma tri x @1@C= 15p t{\ar [r]&}} } {\ensu remath{\m at h scr{V} } }$$ sot h at  $$\ widehat{T}(M) = A \a s t M = \int^{U, V} P(U ,V ; -) { \en sur emath{\oti me s}}AU {\ensur e ma t h { \ot i mes}}MV.$$ Th is means th a t t he mod ul e $ T : \xym atrix @1 { {\e nsuremath{\ math scr{C}}}\ ar[r]| -{\obje c t@{/}}& {\en sur ema th{\ m at hs cr{ C} } }}$ is  de f ine d by $$\ be gi n{spl it}T ( U , V) & =  \wi dehat {T}({\ensurem ath {\ma t hsc r{C}} }(U,- ))V\\ 
   & = \i nt^{U ', V'} P(U',V';V){\en suremath{ \ot im es} }A U' {\ e nsurem ath {\o times}} {\ensur e mat h{ \ m a th scr{C}}}(U,V') \\ &\cong \i nt^{U' }  P (U ' ,U;V) {\ en sur emat h { \otim es}} A U' .
\end{s plit}$ $ 
Apromona d$T$ on  $ {\e nsu remat h {\ma thscr{ C}}}$ ha s a u n it $\eta: {\en s uremath{\over s et { \ ve e }}}{ 1}{\ensuremat h{\x y matr ix@1 @ C= 15p t {\ar[ r]&}} }T $  w i th components $$\et a_ {U,V}: {\e nsuremath{\ma thscr{C}}} ( U , V) {\ens urem a th { \xymatrix@1@C= 15pt{ \ar[r]&}}} T (U,V)$$and s o is det ermined b y $$\eta_{ U,V }(1 _U)  :I {\ ensuremath{\x y m atri x@ 1@C=15p t{\ ar[r]&} }}T (U, U), $$an d has a m ultiplic at io n$\ mu:  T {\ e nsuremat h{ \ci rc }}T  {\en s uremat h{\xy matr ix @1 @ C=1 5pt{\ar [ r] & } }}T$  w it h co mpo ne nts $ $\mu _ {U, W} : \i nt^{V} T( V,W )  {\e ns ur emath{\ otimes}}T(U,V ){\ensurema th {\x ymatri x @ 1@C=15pt {\ar[r]&}}}T(U,W)$$ and so is d ete rmine d by  a natura l f amily$$\ m u'_{U, V
ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}^{\text{op}}{\ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}{\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}{\ensuremath{\mathscr{V}}}$$ $$J:_{\ensuremath{\mathscr{C}}}{\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}{\ensuremath{\mathscr{V}}}$$ so_that $$\widehat{T}(M) = A_\ast M_=_\int^{U,V} P(U,V;-)_{\ensuremath{\otimes}}AU_{\ensuremath{\otimes}}MV.$$ This means_that the module_$T: \xymatrix@1{{\ensuremath{\mathscr{C}}}\ar[r] |-{\object@{/}} &_{\ensuremath{\mathscr{C}}}}$ is defined_by_$$\begin{split}
T(U,V)  & = \widehat{T}({\ensuremath{\mathscr{C}}}(U,-))V \\
    & = \int^{U',V'} P(U',V';V) {\ensuremath{\otimes}}AU'_{\ensuremath{\otimes}}{\ensuremath{\mathscr{C}}}(U,V')_\\
 ___& \cong \int^{U'} P(U',U;V) {\ensuremath{\otimes}}AU'.
\end{split}$$

A_promonad $T$ on ${\ensuremath{\mathscr{C}}}$ has_a unit_$\eta: {\ensuremath{\overset{\vee}}}{1} {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T$ with components $$\eta_{U,V} : {\ensuremath{\mathscr{C}}}(U,V)_{\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U,V)$$_and so is_determined by $$\eta_{U,V}(1_U) : I {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U,U),$$ and has a_multiplication $\mu: T {\ensuremath{\circ}}T {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T$ with_components $$\mu_{U,W} :_\int^{V}_T(V,W)_{\ensuremath{\otimes}}T(U,V) {\ensuremath{\xymatrix@1@C=15pt{\ar[r]&}}}T(U,W)$$ and so_is determined by a natural family_$$\mu'_{U,V