Yoneda ir reprezentuojantys objektai
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
Lokaliai mažai kategorijai C, funktoriui F:C→Set ir objektui c natūraliosios transformacijos iš Hom(c,−) į F bijektyviai atitinka F(c) elementus, transformaciją įvertinant ties objekto c tapatybės morfizmu.
Esminės žinios
Lokaliai mažai kategorijai C, funktoriui F:C→Set ir objektui c natūraliosios transformacijos iš Hom(c,−) į F bijektyviai atitinka F(c) elementus, transformaciją įvertinant ties objekto c tapatybės morfizmu. Taigi objektus iki izomorfizmo apibrėžia jų reprezentuojami funktoriai. Tai nusako universalią charakterizaciją, o ne algoritmą, skirtą bet kokiems objektams rekonstruoti iš baigtinio stebėjimų rinkinio.
Vertės ir lygtys
Nat(Hom(c,−),F) ≅ F(c)
- c
- Lokaliai mažos kategorijos C objektas
- F
- Kovariantinis funktorius su reikšmėmis kategorijoje Set
- Nat
- Natūraliosios transformacijos
Sąlygos ir taikymo ribos
- Hom aibės yra aibės, o pateiktoje versijoje F yra kovariantinis.
- Atvirkštinis atvaizdis elementui x iš F(c) priskiria transformaciją f↦F(f)(x).
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinių vietas: §§1.1–1.4 kategorijos, funktoriai ir natūralumas, §2.2 Yonedos lema, 4 skyrius apie adjunkcijas. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad atlikta išsami įrodymo rekonstrukcija, pakartotinis programinis įrodymo vykdymas ar aprėpta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio turinio, teiginio, lygties ir apibrėžimo srities patikra; kiekvienos grafo sąsajos patikros aprėptis nustatyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-math-yoneda-representability
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas