Fungtor Adjung

Fungtor adjung adalah pasangan fungtor yang dihubungkan oleh korespondensi alami antara morfisme, sebuah pola pervasif yang menangkap konstruksi bebas, fungtor pelupa, dan solusi optimal di seluruh matematika.

Definition

Sebuah fungtor adalah adjung kiri dari sebuah fungtor dalam arah berlawanan ketika terdapat bijeksi alami antara morfisme dari sebuah objek sumber ke citra sebuah objek dan morfisme dari citranya ke objek tersebut; hubungan tunggal ini mengkodekan properti universal untuk setiap objek.

Scope

Topik ini mencakup definisi adjungsi melalui bijeksi alami himpunan-hom, formulasi ekuivalen melalui unit dan counit serta melalui panah universal, pelestarian limit oleh adjung kanan dan kolimit oleh adjung kiri, teorema fungtor adjung, dan hubungan antara adjungsi dan monad.

Core questions

• Korespondensi alami apa yang mendefinisikan adjungsi antara dua fungtor?
• Bagaimana unit dan counit mengkodekan adjungsi?
• Mengapa adjung kanan mempertahankan limit dan adjung kiri mempertahankan kolimit?
• Kapan sebuah fungtor memiliki adjung?

Key theories

Adjungsi himpunan-hom

Adjungsi adalah isomorfisme alami antara dua fungtor-hom, sehingga setiap adjung kiri menyediakan solusi bebas atau paling efisien untuk masalah yang diajukan oleh adjung kanan.

Identitas unit, counit, dan segitiga

Adjungsi secara ekuivalen diberikan oleh transformasi alami unit dan counit yang memenuhi identitas segitiga, sebuah deskripsi yang sangat cocok untuk komputasi dan untuk mendefinisikan monad.

Pelestarian limit dan kolimit

Adjung kanan mempertahankan semua limit dan adjung kiri mempertahankan semua kolimit, sebuah fakta yang menjelaskan banyak properti kontinuitas dan ketepatan serta mendukung teorema fungtor adjung yang memberikan kriteria keberadaan.

Clinical relevance

Adjungsi adalah salah satu ide paling menyatukan dalam matematika: grup bebas, hubungan tensor-hom, kompaksi Stone-Cech, dan hubungan antara sintaksis dan semantik dalam logika semuanya adalah adjungsi, dan mengenalinya segera menghasilkan properti universal dan hasil pelestarian, itulah sebabnya ahli teori kategori menganggap adjungsi sebagai konsep sentral.

History

Daniel Kan memperkenalkan fungtor adjung pada tahun 1958, mengenali pola berulang yang menghubungkan fungtor bebas dan pelupa serta konstruksi dual lainnya. Lawvere menyoroti adjungsi sebagai dasar, termasuk adjungsi antara sintaksis dan semantik, dan teorema fungtor adjung Freyd memberikan kondisi umum untuk keberadaan adjung.

Key figures

• Daniel Kan
• Saunders Mac Lane
• F. William Lawvere
• Peter Freyd

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

Apa contoh adjungsi yang umum?

Fungtor grup bebas adalah adjung kiri dari fungtor yang melupakan struktur grup dari sebuah grup ke himpunan dasarnya. Pemetaan dari sebuah himpunan ke dalam sebuah grup secara alami berkorespondensi dengan homomorfisme dari grup bebas pada himpunan tersebut, yang persis merupakan bijeksi adjungsi.

Mengapa matematikawan mengatakan fungtor adjung muncul di mana-mana?

Konstruksi bebas, penyelesaian, produk dan eksponensial, dan banyak hubungan antara sebuah struktur dan bayangan yang lebih sederhana darinya adalah adjungsi. Pola ini sangat umum sehingga menemukan adjungsi seringkali merupakan jalur tercepat menuju properti universal sebuah konstruksi dan pelestariannya terhadap limit atau kolimit.