m V/X,Y),\circ) \to (KK(X,Y),\circ)$$ to the “$KK$-theory via correspondences" of Emerson-Meyer [@EM2; @EM3] (and more generally to their counterpart based on a complex oriented cohomology theory).

Let $\bB$ be a bivariant theory on $\m V$ such that a smooth morphism $f: X\to Y$ has a [*stable orientation*]{} $\theta(f)\in \bB(f)$, like $\bM(\m V/-)$, with $\theta(f):=[X \xrightarrow {\op {id}_X} X]$ (these notions will be explained in §2). In the algebraic context, examples for $\bB$ are given by the bivariant algebraic $K$-theory $\bK_{alg}$ of relative perfect complexes and the bivariant operational Chow groups $CH$. Examples in the complex algebraic or analytic context are given by the (even degree) bivariant topological $K$-theory $\bK^{top}$ or homology theory $\bH\otimes R$ of Fulton–MacPherson [@Fulton-MacPherson], with $R=\bZ, \bQ, \bQ[y]$. Another example is Fulton-MacPherson’s bivariant theory $\bF$ of constructible functions in the complex algebraic or analytic context, or Ernström-Yokura’s bivariant theory $\tilde{\bF}$ of constructible functions in the algebraic context over a base field of characteristic zero, with $\theta(f)=\jeden_f:=1_X$ for a smooth morphism $f: X\to Y$.

\[thm:univ\] Let $\bB$ be a bivariant theory on $\m V$ such that a smooth morphism $f: X\to Y$ has a stable orientation $\theta(f)\in \bB(f)$. Then there exists a unique Grothendieck transformation $$\ga:=\ga_{\theta}: \bM(\m V/-) \to \bB(-)$$ satisfying the normalization condition that for a smooth morphism $f:X \to Y$ the following identity holds in $\bB(X \xrightarrow {f} Y)$: $$\ga([X \xrightarrow {\op {id}_X} X]) =  \theta(f).$$

Let $c\ell
m V / X, Y),\circ) \to (KK(X, Y),\circ)$$ to the “ $ KK$-theory via correspondences " of Emerson - Meyer [ @EM2; @EM3 ] (and more generally to their counterpart based on a complex oriented cohomology hypothesis). 

 lease $ \bB$ be a bivariant theory on $ \m V$ such that a smooth morphism $ f: X\to Y$ experience a [ * static orientation * ] { } $ \theta(f)\in \bB(f)$, like $ \bM(\m V/-)$, with $ \theta(f):=[X \xrightarrow { \op { id}_X } X]$ (these notions will be explained in § 2). In the algebraic context, case for $ \bB$ are given by the bivariant algebraic $ K$-theory $ \bK_{alg}$ of relative arrant complex and the bivariant operational Chow group $ CH$. Examples in the complex algebraic or analytic context are given by the (tied degree) bivariant topological $ K$-theory $ \bK^{top}$ or homology theory $ \bH\otimes R$ of Fulton – MacPherson [ @Fulton - MacPherson ], with $ R=\bZ, \bQ, \bQ[y]$. Another case is Fulton - MacPherson ’s bivariant theory $ \bF$ of constructible functions in the complex algebraic or analytic context, or Ernström - Yokura ’s bivariant hypothesis $ \tilde{\bF}$ of constructible functions in the algebraic context over a base field of characteristic zero, with $ \theta(f)=\jeden_f:=1_X$ for a fluent morphism $ f: X\to Y$. 

 \[thm: univ\ ] Let $ \bB$ be a bivariant theory on $ \m V$ such that a politic morphism $ f: X\to Y$ has a static orientation $ \theta(f)\in \bB(f)$. Then there exist a unique Grothendieck transformation $ $ \ga:=\ga_{\theta }: \bM(\m V/-) \to \bB(-)$$ satisfying the normalization circumstance that for a smooth morphism $ f :X \to Y$ the following identity holds in $ \bB(X \xrightarrow { f } Y)$: $ $ \ga([X \xrightarrow { \op { id}_X } X ]) =   \theta(f).$$ 

 Let $ c\ell
m V/D,Y),\circ) \to (KK(X,Y),\circ)$$ to tht “$KK$-theory via cotrwspondxnces" or Emersov-Meyer [@EM2; @EM3] (and more generaplt to ukeir counterpart basdd on a clmplex oeienued cohomology thxkry).

Let $\nY$ be z bivcrmant theory on $\k V$ such tvat a smooth mmrohnsm $f: X\to Y$ has a [*stable orientation*]{} $\theta(f)\on \bB(f)$, like $\bM(\m D/-)$, wiuh $\ehetz(f):=[X \xrightarrow {\op {id}_X} X]$ (these notjons winl be explainrd in §2). In the algebraic cojtexh, examples for $\bB$ wre given bi thq bivariant augebraic $K$-uhzory $\bK_{alg}$ kf relative perfect complexes avd thz bivariant operwjional Chow jroups $CH$. Examples in the womplex algebraic or snanytuc context are given uy the (even degree) byvariant do'ological $K$-theory $\bK^{tip}$ or hmmolmgy gyeofy $\gH\ptjmes R$ of Fulton–MacLherson [@Fulron-MacPherson], with $T=\bS, \bQ, \bQ[y]$. Anothsr exaipje is Fulton-MacPherson’s bivariant theorj $\bF$ of constructible functuons in the complex apgebraic jr analytic context, or Ernström-Yokura’s bivariant tveory $\gilbc{\nF}$ ow clnstructible functions in the algebraic contevf pvvr a base field on characteristic zrrl, eyth $\theta(f)=\jedgn_f:=1_X$ fox a smooth morphism $f: X\to Y$.

\[trm:unic\] Let $\bB$ fe a bivariant theory on $\m V$ suxh that a smjith morphism $f: X\to Y$ has a stcble otientayion $\theta(f)\in \bB(f)$. Then chere sxists a unlque Grotgdndieck transforoatpon $$\ca:=\ga_{\theta}: \bM(\m V/-) \to \bB(-)$$ satiffying thx norkalizatkon vondityon that flr a smooth morphism $f:X \ho Y$ jhe fonlowing idfntity holds in $\bB(X \xrightarrow {f} Y)$: $$\ga([X \xrighjarsow {\op {id}_X} R]) =  \thcta(f).$$

Let $c\ell
m V/X,Y),\circ) \to (KK(X,Y),\circ)$$ to the “$KK$-theory of [@EM2; @EM3] more generally to complex cohomology theory). Let be a bivariant on $\m V$ such that a morphism $f: X\to Y$ has a [*stable orientation*]{} $\theta(f)\in \bB(f)$, like $\bM(\m V/-)$, $\theta(f):=[X \xrightarrow {\op {id}_X} X]$ (these notions will be explained in §2). In algebraic examples $\bB$ given by the bivariant algebraic $K$-theory $\bK_{alg}$ of relative perfect complexes and the bivariant operational Chow $CH$. Examples in the complex algebraic or analytic are given by the degree) bivariant topological $K$-theory $\bK^{top}$ homology $\bH\otimes R$ Fulton–MacPherson with \bQ, \bQ[y]$. Another is Fulton-MacPherson’s bivariant theory $\bF$ of constructible functions in the complex algebraic or analytic context, or Ernström-Yokura’s theory $\tilde{\bF}$ functions in algebraic over base field of with $\theta(f)=\jeden_f:=1_X$ for a smooth morphism \[thm:univ\] Let $\bB$ be a bivariant theory on V$ such a smooth morphism $f: X\to Y$ a stable orientation $\theta(f)\in \bB(f)$. Then there exists unique Grothendieck transformation $$\ga:=\ga_{\theta}: \bM(\m V/-) \to \bB(-)$$ satisfying the normalization condition that for a $f:X \to Y$ the identity holds in \xrightarrow Y)$: \xrightarrow {id}_X} X]) \theta(f).$$ Let $c\ell
m V/X,Y),\circ) \to (KK(X,Y),\circ)$$ to the “$KK$-Theory via cOrresPonDenCeS" of EMersOn-Meyer [@EM2; @EM3] (and MOre gEnerally to their counterPart bAsED on a COmPlex oRiented COhOMOloGy ThEorY).

LET $\bb$ be a bIvaRiant thEory on $\m V$ suCh tHaT a smooth morpHIsM $f: X\to Y$ has a [*StaBle orientatiOn*]{} $\tHeta(f)\iN \bb(f)$, lIKe $\bM(\m v/-)$, wiTh $\theTa(f):=[X \xrIGhtarrOw {\op {id}_X} X]$ (tHeSE notioNS will be EXPlAineD in §2). In the algebraic COnTExt, examples for $\BB$ are gIvEN bY THe bIvaRiant algebRaIc $K$-thEOry $\bK_{alG}$ Of RELAtiVE perfect complExes and the bIVarIant opErAtiONal ChoW grouPs $ch$. ExAmples in the CompLex algebrAic or aNAlytic cONtext arE given By tHe (eVen dEGrEe) BivArIAnt TOpOloGIcaL $K$-theory $\BK^{ToP}$ or hoMoloGY THEory $\BH\oTimeS R$ of FUlton–MacPhersOn [@FUltoN-macphersOn], witH $R=\bZ, \BQ, \BQ[y]$. AnOther eXamplE iS Fulton-MacPhersOn’s bIvariant tHeoRy $\BF$ oF cOnstrUCtible FunCtiOns in thE compleX AlgEbRAIC oR analytic context, or erNSTrÖm-Yokura’S bivarIAnT tHEory $\tildE{\bf}$ of ConsTRUctibLe fuNCtIons in thE algebRAiC cOntext oVeR a base FiEld Of cHaracTErisTic zerO, with $\theTa(f)=\jeDEn_f:=1_X$ for a smooth MOrphism $f: X\to Y$.

\[tHM:uNIV\] LET $\bB$ bE a bIvariant theOry oN $\M V$ suCh thAT a SmoOTh morPhism $F: X\TO Y$ HAs a stable orientatioN $\tHeta(f)\iN \bB(f)$. THen there existS a unique GrOTHEndieck tRansFOrMAtion $$\ga:=\ga_{\theta}: \BM(\m V/-) \tO \bB(-)$$ satisfyINg the norMalizAtion conDition thaT FOr a smootH moRphIsm $F:X \tO y$ ThE following ideNTIty hOlDs in $\bB(X \XriGhtarroW {f} Y)$: $$\Ga([X \XriGhtArRow {\op {id}_X} X]) =  \Theta(f).$$

LeT $c\ElL
m V/X,Y),\circ) \to (KK(X, Y),\circ)$ $ tothe  “$ KK $-th eory  via correspon d ence s" of Emerson-Meyer [@ EM2;@E M 3] ( a nd  more  genera l ly t o t he ir  co un t er partbas ed on a  complex o rie nt ed cohomolog y  t heory).

L et$\bB$ be a b iva riantth eor y  on $ \mV$ su ch tha t  a smo oth morph is m  $f: X \ to Y$ h a s  a  [*s table orientation * ]{ }  $\theta(f)\in  \bB(f )$ ,  l i k e $ \bM (\m V/-)$,  w ith $ \ theta(f ) := [ X \xr i ghtarrow {\op  {id}_X} X] $  (t hese n ot ion s  willbe ex pl a ine d in §2). I n th e algebra ic con t ext, ex a mples f or $\b B$are  giv e nby  th eb iva r ia nta lge braic $K $- th eory$\bK _ { a l g}$ofrela tiveperfect compl exe s an d  th e biv arian t op er ation al Cho w gro up s $CH$. Example s in  the comp lex  a lge br aic o r  analy tic  co ntext a re give n  by  t h e (e ven degree) bivari an t to pologica l $K$- t he or y  $\bK^{t op }$or h o m ology  the o ry  $\bH\ot imes R $  o fFulton– Ma cPhers on  [@ Ful ton-M a cPhe rson],  with $R =\bZ, \bQ, \bQ[y]$.A nother exampl e  i s Fu l ton- Mac Pherson’s b ivar i anttheo r y$\b F $ ofconst ru c ti b le functions in the  c omplex  alge braic or anal ytic conte x t ,  or Erns tröm - Yo k ura’s bivarian t the ory $\tild e {\bF}$ o f con structib le functi o n s in the  al geb rai c c o n te xt over a bas e fiel dof char act eristic  ze ro,  wi th$\ theta(f)= \jeden_f := 1_ X$  f ora smo o th morph is m $ f:  X\ to Y$ . 

\[th m:uni v\]Le t$ \bB $ be ab iv a r iant  t he oryon$\ m V$such tha t a smo oth morph ism $f:X\ to  Y$ has  a stable ori en tation $\t he ta( f)\in\ b B(f)$. T hen there exists a uniq u e Groth end iecktran sformatio n $ $\ga:= \ga _ {\thet a}: \b M(\mV/ -)\ t o \bB ( - )$ $ s at isfying th e nor maliz at ionconditi on that for a smoo t h m orphism $f:X\to  Y$t h efol l ow i ngid e nti t y  holds in $\bB( X \xrighta rr o w{f} Y)$: $ $ \ga ([ X \xrig htarrow  {\op {id}_X}  X]) =  \ theta(f). $$ 

Le t $c\ ell
m V/X,Y),\circ)_\to (KK(X,Y),\circ)$$_to the “$KK$-theory via_correspondences" of_Emerson-Meyer_[@EM2; @EM3]_(and_more generally to_their counterpart based_on a complex oriented_cohomology theory).

Let $\bB$_be_a bivariant theory on $\m V$ such that a smooth morphism $f: X\to Y$_has_a [*stable_orientation*]{}_$\theta(f)\in_\bB(f)$, like $\bM(\m V/-)$, with_$\theta(f):=[X \xrightarrow {\op {id}_X} X]$_(these notions_will be explained in §2). In the algebraic_context,_examples for $\bB$_are given by the bivariant algebraic $K$-theory $\bK_{alg}$ of_relative perfect complexes and the bivariant_operational Chow groups_$CH$._Examples_in the complex algebraic_or analytic context are given by_the (even degree) bivariant topological $K$-theory_$\bK^{top}$ or homology theory $\bH\otimes R$ of_Fulton–MacPherson [@Fulton-MacPherson], with $R=\bZ, \bQ, \bQ[y]$._Another example is Fulton-MacPherson’s bivariant_theory $\bF$_of constructible functions in the_complex algebraic or_analytic context,_or Ernström-Yokura’s bivariant_theory $\tilde{\bF}$ of constructible functions in_the algebraic context_over a base field of characteristic_zero,_with $\theta(f)=\jeden_f:=1_X$ for_a_smooth_morphism $f:_X\to Y$.

\[thm:univ\] Let_$\bB$_be a_bivariant_theory on $\m V$ such that_a_smooth morphism $f: X\to Y$ has a_stable orientation $\theta(f)\in \bB(f)$._Then_there exists a unique_Grothendieck transformation $$\ga:=\ga_{\theta}: \bM(\m V/-)_\to \bB(-)$$ satisfying the normalization condition_that for_a smooth_morphism $f:X \to Y$ the following identity holds in $\bB(X \xrightarrow_{f} Y)$: $$\ga([X \xrightarrow {\op {id}_X}_X]) =  \theta(f).$$

Let_$c\ell