WikiDer > Біріктірілген функционерлердің формальды өлшемдері

Фрейдтің ілеспе функционалдық теоремасы^[1] — Келіңіздер ${ displaystyle G: { mathcal {B}} to { mathcal {A}}}$ сияқты категориялар арасындағы функционер болыңыз ${ displaystyle { mathcal {B}}}$ аяқталды. Сонда келесілер барабар (теоретикалық мәселелерді елемеудің қарапайымдылығы үшін):

1. G сол жақта бар.
2. ${ displaystyle G}$ барлық объектілер үшін және барлық шектеулерді сақтайды х жылы ${ displaystyle { mathcal {A}}}$, жиын бар Мен және ан Мен-инфекстті морфизмдер тұқымдасы ${ displaystyle f_ {i}: x - Gy_ {i}}$ әрбір морфизм ${ displaystyle x Gy-ге}$ формада болады ${ displaystyle G (y_ {i} to y) circ f_ {i}}$ кейбір морфизм үшін ${ displaystyle y_ {i} to y}$.

Канның сол жақ қосалқы заттың критерийі — Келіңіздер ${ displaystyle G: { mathcal {B}} to { mathcal {A}}}$ санаттар арасындағы функционер болу. Сонда келесілер баламалы болады.

1. G сол жақта бар.
2. G консервілер шектеулер және әр объект үшін х жылы ${ displaystyle { mathcal {A}}}$, шегі ${ displaystyle lim ({(x downarrow G) to { mathcal {B}}})}$ бар ${ displaystyle { mathcal {B}}}$.^[2]
3. Құқық Кан кеңейту ${ displaystyle G _ {!} 1 _ { mathcal {B}}}$ сәйкестендіру функциясы ${ displaystyle 1 _ { mathcal {B}}}$ бойымен G бар және сақталған G.

Сонымен қатар, егер бұл жағдай болса, сол жақтағы қосылыс G сол жақтағы Кан кеңейтімі арқылы есептелуі мүмкін.^[2]