Hasil pencarian

{{Periksa terjemahan|en|Forgetful functor}} ...an 1 adalah operasi nol yang memberikan identitas. Menghapus 1 memberikan functor pelupa ke kategori [[Rng (aljabar)|gelanggang tanpa satuan]]; pada "fogetfu ...

{{defn|An [[adjoint functor|adjunction]] (also called an adjoint pair) is a pair of functors ''F'': ''C {{defn|A functor is amnestic if it has the property: if ''k'' is an isomorphism and ''F''('' ...

...hingga '' S-Mod '' yang menghasilkan kesetaraan secara otomatis [[Additive functor|additive]]. Untuk setiap [[tepat functor|kanan-tepat]] functor '' F '' dari kategori kiri - '' R '' modul ke kategori kiri - '' S '' modul ...

Dalam [[matematika]], khususnya [[teori kategori]], '''fungtor''' ({{Lang-en|functor}}) adalah peta antara [[Kategori (matematika)|kategori]]. Fungtor pertama k ...r=1971|isbn=978-3-540-90035-1|page=30}}</ref> Yang terakhir menggunakan ''functor'' dalam konteks [[linguistik]];<ref>[[Rudolf Carnap|Carnap, Rudolf]] (1937) ...

Functor '' U '' harus dianggap sebagai [[fungsi pelupa]], yang menetapkan ke setiap ...yang muncul dengan cara ini adalah [[Funktor#Contoh|contravariant powerset functor]] '''Himpunan'''^op → '''Himpunan'''. ...

Hal ini menunjukkan bahwa subgrup komutator dapat dilihat sebagai [[functor]] pada [[kategori kelompok]], beberapa implikasinya dieksplorasi di bawah i Functor abelianisasi adalah [[adjoint functor|luar adjoint]] dari fungsi inklusi dari [[kategori grup abelian]] ke katego ...

...f the inverse limit functor can thus be defined. The ''n''th right derived functor is denoted ...category#Grothendieck's axioms|(AB4*)]], [[Jan-Erik Roos]] generalized the functor lim¹ on '''Ab'''^''I'' to series of functors lim<sup>n ...

...ih lanjut, functor ini adalah [[funktor adjoin|adjoin kanan atau kiri]] ke functor '' U '' yang digunakan dalam definisi sifat universal.<ref>Lihat misalnya, ...j'''. Ini berarti <math> T </math> adalah '' left adjoint '' ke forgetful functor <math> U </math>. ...

...ath> dan <math> C_2 </math>, dan jika <math>F: C_1 \to C_2</math> adalah [[functor]] memetakan <math> X_1 </math> ke <math> X_2 </math>, kemudian <math> F </m ...n satu objek * atau, lebih umum, jika '' G '' adalah groupoid, maka setiap functor <math>G \to C</math>, ''C'' kategori, disebut aksi atau representasi '' G ' ...

Functor pelupa '' U '' memiliki [[adjoin kiri]] ...

Pendekatan alternatif untuk kedua sudut pandang menggunakan [[Functor diwakili oleh skema|pengarah tujuan]]. ...berkas <math>\Gamma(\Lambda E^*)</math>. Faktanya, <math>\Pi</math> adalah functor dari kategori dari bundel vektor ke kategori dari supermanifold. ...

...{Math|'''C'''}} diberikan oleh [[Sifat universal|morfisme universal]] dari functor {{Math|''Δ''}} ke objek {{Math|(''X''₁, ''X''₂)}} dal * [[Functor diagonal|Funktor diagonal]]&nbsp;- ujung [[Funktor adjoin|kiri]] dari fungs ...

Untuk setiap bilangan prima '' p '', ini menyediakan [[functor]] dari kategori grup abelian ke kategori grup '' p '' torsi daya yang mengi ...

Dengan cara ini functor bebas yang membangun objek bebas '' A '' dari himpunan '' X '' menjadi [[ad ...

...ari codomain dari ''f'' kembali ke subset dari domainnya. Adjoin kiri dari functor ini adalah pembilang eksistensial <math>\exists_f</math> dan adjoin kanan a ...

|[[Fungtor Ext|Fungtor luar]]/[[Fungtor Ext|Fungtor eksterior]] ([[Ext functor|en]]) |[[Fungtor Hom]] ([[Hom functor|en]]) ...

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

...an kelompok kohomologi yang lebih tinggi adalah [[functor turunan]] dari [[functor]] dari '' G ''-invarian. ...

...]. Manipulation and visualization of objects, [[morphism]]s, categories, [[functor]]s, [[natural transformation]]s, [[universal properties]]. ...

...in the language of [[category theory]], homological algebra studies the [[functor|functorial properties]] of various constructions of chain complexes and of ...