Hasil pencarian

...diedit dari yang lama. Jika tanda tangan dibiarkan sebagai daftar kosong, funktor hanya mengambil '''himpunan dasar''' dari sebuah struktur. Karena banyak st ...bahan antara grup yang mendasari. Menghapus semua operasi akan memberikan funktor ke himpunan yang mendasari '' R ''. ...

Functor pelupa '' U '' memiliki [[adjoin kiri]] yang melengkapi himpunan tertentu dengan [[topologi diskrit]], dan [[adjoin kanan]] ...

...[funktor]] pada '' C ''. Lebih lanjut, functor ini adalah [[funktor adjoin|adjoin kanan atau kiri]] ke functor '' U '' yang digunakan dalam definisi sifat un Jadi, funktor <math> F </math> memetakan <math> A </math>, <math>A'</math> dan <math> h < ...

<!--== Sebagai adjoin == ...enter]], pembilang universal dapat dipahami sebagai [[titik kanan]] dari [[funktor]] antara [[himpunan daya]], fungsi [[citra invers]] dari fungsi antara himp ...

...dari <math> C </math> disebut '''persentabel-'''<math>\kappa</math> jika [[funktor Hom]] <math>\operatorname{Hom}(X,-)</math> dengan kolimit-<math>\kappa</mat Funktor <math>F : C \to D</math> antara aksesibel-<math>\kappa</math> kategori dise ...

...san tersebut <math>K(f) \colon K(A) \to K(B)</math>. Mendefinisikan sebuah funktor <math>K \colon \mathcal{A} \to \mathcal{S}</math>. Pasangan <math>(\operato ...tersebut adalah adjoin yang lebih rendah dari beberapa [[koneksi Galois]]. Adjoin atas (unik) kemudian menjadi homomorfisme dari semikekisi-pertemuan lengkap ...

Sebuah [[kategori konkret]] adalah kategori yang dilengkapi dengan [[funktor setia]] hingga '''Himpunan''', [[kategori himpunan]]. Misalkan '' C '' menj ...gun objek bebas '' A '' dari himpunan '' X '' menjadi [[adjoin kiri]] ke [[funktor fogetful]]. ...

...ntuk memenuhi [[kondisi koherensi]]. Monad digunakan dalam teori [[funktor adjoin]], dan mereka menggeneralisasi [[operator penutupan]] pada [[himpunan terur ...math> G </math> adalah [[fungsi invers]], monad terkait adalah [[identitas funktor]]. Secara umum, tambahan bukanlah [[kesetaraan kategori|kesetaraan]], merek ...

== Sebagai adjoin == {{main|Kuantifikasi universal#Sebagai adjoin}} ...

...orfisme yang dipilih. Maka pertimbangkan dulu fungsi semua gabungan (yaitu adjoin yang lebih rendah dari koneksi Galois), karena kasus ini lebih sederhana da ...i menjaga gabungan yang [[Funktor adjoin|dibiarkan berdampingan]] dengan [[funktor fogetful]] dari kisi lengkap ke himpunan dasar. ...

...s komponen dan proyeksi. Jika kita menganggap diagram ini sebagai funktor, funktor dari himpunan indeks {{Math|''I''}} anggap sebagai kategori terpisah. Defin ...ah [[Kategori Produk|produk kategori]] {{Math|'''C''' × '''C'''}} Fungsi [[Funktor diagonal|diagonal]] {{Math|''Δ'' : '''C''' → '''C''' × '''C'''}} dengan[[Pa ...

...tu kategori berbagai aljabar, dengan homomorfisme sebagai morfisme) maka [[funktor fogetful]] memiliki [[adjoin kiri]] <math>F\colon \mathbf{Himpunan}\to V</math>, yaitu funktor yang menetapkan untuk setiap himpunan aljabar bebas pada himpunan. Adjuncti ...

...[[kategori coslice]] dari kategori gelanggang komutatif di bawah ''R''.) Funktor Spek dari [[spektrum prima]] menentukan anti-ekuivalen dari kategori dengan ...funktor]] yang memetakan modul-''R'' ke aljabar tensor [[adjoin kiri]] ke funktor yang mengirimkan aljabar-''R'' ke modul-''R'' yang mendasari (struktur perk ...

...aksi-<math>G</math> di lokasi syuting <math>G</math>. [[Functor resentabel|Funktor]] (unik) diwakili <math>F</math> : <math>\mathrm{Gr}</math> → <math>\mathrm ...nsep [[teori grup]] digeneralisasi menjadi grupoids, dengan gagasan dari [[Funktor|functor]] menggantikan yang dari [[Grup homomorfisme|grup homomofisme]]. ...

...a {{math|''s'' ∈ ''S''}}. Konversi semigrup di monoid ini dilakukan oleh [[funktor bebas]] antara kategori semigrup dan kategori monoid.<ref>{{citation|title= *** Adjoin dari sebuah identitas {{mvar|e}} ke semigrup kiri-nol dengan dua elemen {{m ...

...atnya, ''exp'' adalah [[transformasi alami]] dari functor Lie ke identitas funktor pada kategori grup Lie. * [[Wakilan adjoin dari grup Lie]] ...