Mimopřirozená transformace - Extranatural transformation
Zobecnění přirozených transformací
v matematika, konkrétně v teorie kategorií, an extranaturální transformace[1] je zobecněním pojmu přirozená transformace.
Definice
Nechat
a
dva funktory kategorií. Rodina
se říká, že je přirozený v A a nadpřirozené v b a C pokud platí:
je přirozená transformace (v obvyklém smyslu).- (extranaturalita v b)
,
,
následující diagram dojíždí

- (extranaturalita v C)
,
,
následující diagram dojíždí

Vlastnosti
Mimopřirozené transformace lze použít k definování klínů a tím končí[2] (dvojité klínky a konce), nastavením
(dvojitě
) konstantní.
Mimopřirozené transformace lze definovat z hlediska dinaturální transformace, z nichž se jedná o speciální případ.[2]
Viz také
externí odkazy
Reference
- ^ Eilenberg a Kelly „Zobecnění funkcionálního počtu, J. Algebra 3 366–375 (1966)
- ^ A b Fosco Loregian, Toto je (spolu) konec, můj jediný (spolu) přítel, předtisk arXiv [1]