Adjunkcijos ir laisvosios grupės konstravimas
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
Adjunkcija, kurioje F yra kairysis adjunktas funktoriui U, yra natūrali bijekcija Hom-D(FX,Y)≅Hom-C(X,UY).
Esminės žinios
Adjunkcija, kurioje F yra kairysis adjunktas funktoriui U, yra natūrali bijekcija Hom-D(FX,Y)≅Hom-C(X,UY). Laisvosios grupės funktorius iš aibių kategorijos yra kairysis adjunktas užmirštančiajam funktoriui iš grupių kategorijos: kiekvienas generatorių atvaizdis į grupę vieninteliu būdu pratęsiamas iki homomorfizmo. Vienetas ir kounitetas tenkina trikampio tapatybes; universalioji savybė yra stipresnė už neformalų teiginį, kad konstrukcija yra patogi.
Vertės ir lygtys
Hom_D(FX,Y) ≅ Hom_C(X,UY)
- F
- Kairysis adjunktinis funktorius
- U
- Dešinysis adjunktinis funktorius
- X,Y
- Objektai atitinkamose kategorijose
Sąlygos ir taikymo ribos
- Hom bijekcija yra natūrali abiejų argumentų atžvilgiu.
- Laisvąją grupę sudaro redukuoti baigtiniai žodžiai su generatorių atvirkštiniais elementais; jokie papildomi sąryšiai nėra numanomai nustatomi.
Š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į, atskirai pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinių vietas: §§1.1–1.4 kategorijos, funktoriai ir natūralumas, §2.2 Yoneda, 4 skyrius apie adjunkcijas. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad atliktas išsamus įrodymo atkūrimas, programinis įrodymo pakartotinis vykdymas ar užtikrinta visos literatūros aprėptis.
2026-10-10 · Autoriaus atlikta šaltinio pagrindinio teksto, teiginio, lygties ir srities patikra; kiekvienos sąsajos grafe apimtis nustatyta atskirai. Prieš uždarant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-math-adjunction-universal-construction
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas