Hasil pencarian
Loncat ke navigasi
Loncat ke pencarian
Judul halaman yang sama
- ...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 ''. ...6 KB (862 kata) - 21 Mei 2024 02.43
Teks halaman yang cocok
- ...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 ''. ...6 KB (862 kata) - 21 Mei 2024 02.43
- ...gori lain, ''lihat [[#Konkretan relatif|Konkretitas relatif]] di bawah''). Funktor ini memungkinkan untuk memikirkan objek dari kategori sebagai himpunan deng ...Himpunan'''" berarti ('''Himpunan''', ''I'') di mana '' I '' menunjukkan [[funktor identitas]] '''Himpunan''' → '''Himpunan'''. ...10 KB (1.545 kata) - 14 November 2022 08.43
- ...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 ...8 KB (1.043 kata) - 23 November 2024 01.33
- ...ng memperoleh [[funktor]] pada '' C ''. Lebih lanjut, functor ini adalah [[funktor adjoin|adjoin kanan atau kiri]] ke functor '' U '' yang digunakan dalam def Jadi, funktor <math> F </math> memetakan <math> A </math>, <math>A'</math> dan <math> h < ...13 KB (1.866 kata) - 1 April 2024 07.09
- ...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 ...16 KB (2.146 kata) - 5 November 2024 11.41
- == Funktor grup automorfisme == ...rang ekstensi dasar yang diterapkan pada diskusi di atas menentukan sebuah funktor:<ref>{{harvnb|Waterhouse|2012|loc=§ 7.6.}}</ref> yaitu, untuk setiap [[gela ...10 KB (1.462 kata) - 13 Juli 2024 21.32
- ...rnya <math> \operatorname{F}(-) \cong P \otimes_R - </math>, dan dari para funktor <math>\operatorname{G}(-) \cong \operatorname{Hom}(_{S}P,-).</math> Generat ...ehingga funktor <math>\operatorname{F}(-)</math> secara alami isomorfik ke funktor <math>E \otimes_R -</math>. Karena kesetaraan dengan kebutuhan tepat dan bo ...7 KB (1.058 kata) - 16 Desember 2022 05.52
- 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]]. ...8 KB (1.180 kata) - 9 Mei 2021 16.46
- ...nol]].<ref name="Rotman20083"/>{{Refpage|226}} Terdapat [[Funktor feithful|funktor setia]] dari himpunan menunjuk ke himpunan biasa, tetapi tidak lengkap dan ...atakan kembali dalam istilah teoretis kategori sebagai keberadaan fungsi [[Funktor fogetful|fogertful]] dari grup ke himpunan lonjong.<ref name="Aluffi2009" / ...8 KB (1.123 kata) - 6 Februari 2023 01.34
- ...enter]], pembilang universal dapat dipahami sebagai [[titik kanan]] dari [[funktor]] antara [[himpunan daya]], fungsi [[citra invers]] dari fungsi antara himp Artinya, <math>\exists_f\colon \mathcal{P}X\to \mathcal{P}Y</math> adalah funktor, untuk himpunan bagian <math>S \subset X</math>, diberikan himpunan bagian ...11 KB (1.631 kata) - 12 Maret 2023 01.00
- ...tuhkan untuk memenuhi [[kondisi koherensi]]. Monad digunakan dalam teori [[funktor adjoin]], dan mereka menggeneralisasi [[operator penutupan]] pada [[himpuna ...math> G </math> adalah [[fungsi invers]], monad terkait adalah [[identitas funktor]]. Secara umum, tambahan bukanlah [[kesetaraan kategori|kesetaraan]], merek ...14 KB (2.082 kata) - 31 Januari 2025 03.44
- ...i menjaga gabungan yang [[Funktor adjoin|dibiarkan berdampingan]] dengan [[funktor fogetful]] dari kisi lengkap ke himpunan dasar. ...11 KB (1.412 kata) - 13 Februari 2023 04.15
- ...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 ...m berbagai situasi, terdapat semikekisi [[Objek bebas|bebas]]. Misalnya, [[funktor fogetful]] dari kategori semikekisi-sambungan (dan homomorfisme mereka) ke ...16 KB (2.008 kata) - 31 Januari 2023 04.05
- ...r]] memiliki struktur monoid yang diinduksi oleh komposisi dan identitas [[funktor]] ''I''<sub>''C''</sub>. Objek monoid [''C'',''C''] adalah [[monad (teori k ...4 KB (590 kata) - 11 Oktober 2023 05.32
- ...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 ...9 KB (1.312 kata) - 3 Februari 2021 08.31
- ...[[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 ...16 KB (2.025 kata) - 1 Desember 2023 01.57
- ...n]] menjadi '' U '' (artinya '' UD '' dan '' UI '' sama dengan [[identitas funktor]] pada '''Himpunan'''). Selain itu, karena setiap fungsi antara ruang diskr ...5 KB (613 kata) - 14 November 2022 08.43
- ...anjang dari barisan eksak pendek seperti ini juga muncul pada pembahasan [[funktor turunan]]. [[Funktor]] yang mengirimkan barisan eksak ke barisan eksak disebut [[funktor eksak]]. ...17 KB (2.491 kata) - 21 Januari 2023 15.38
- ...rupa sehingga asosiasi ''X'' ke Hom ''(X,'' ''G)'' adalah (kontravarian) [[funktor]] dari ''C'' ke [[kategori grup]]. ...6 KB (792 kata) - 24 Januari 2023 07.41
- ...[[teori kategori]]. Pada umumnya, aljabar homologis adalah studi tentang [[funktor]] homologis dan struktur aljabar rumit yang mereka perlukan.<!-- Struktur d ...adi subjek independen dengan studi objek seperti [[ext funktor]] dan [[tor funktor]], antara lain.<ref name="Weber">{{cite book|doi=10.1016/b978-044482375-5/5 ...13 KB (1.768 kata) - 15 Maret 2024 16.55