Üye : Giriş |Kayıt |Yükleme bilgisi
Arama
Kategori teorisi [Değişiklik ]
Kategori teorisi, matematiksel yapıyı ve kavramlarını, düğümleri nesneler olarak adlandırılan ve etiketli yönelimli kenarları ok (veya morfizm) olarak adlandırılan bir kategori olarak adlandırılan etiketli bir yönlendirilmiş grafik açısından resmileştirir. Bir kategorinin iki temel özelliği vardır: okları ortak olarak oluşturma ve her nesne için kimlik okunun varlığı. Kategori teorisinin dili, setler, halkalar ve gruplar gibi diğer üst düzey soyutlamaların kavramlarını resmileştirmek için kullanılmıştır.
Kategori teorisinde kullanılan "morfizm" terimi de dahil olmak üzere çeşitli terimler, matematiğin geri kalanındaki kullanımlarından farklı olarak kullanılmaktadır. Kategori teorisinde, morfizmler kategori teorisinin kendine özgü koşulları yerine getirir.
Samuel Eilenberg ve Saunders Mac Lane, matematiksel yapıyı koruyan süreçleri anlama amacı ile, cebirsel topoloji çalışmalarında 1942-45 yıllarında kategoriler, bisikletçiler ve doğal dönüşüm kavramlarını tanıttı.
Kategori teorisi programlama dili teorisinde pratik uygulamalara sahiptir, örneğin monadlerin fonksiyonel programlamada kullanımı. Ayrıca, teori ve diğer önerilen kurumlara bir alternatif olarak, matematik için bir aksiyomatik temel olarak da kullanılabilir.
[Teori ayarla][Halka teorisi][Grup teorisi]
1.Temel konseptler
2.Kategorilerin uygulamaları
3.Yarar
3.1.Kategoriler, nesneler ve morfizmalar
3.2.functors
3.3.Doğal dönüşümler
4.Kategoriler, nesneler ve morfizmalar 2
4.1.Kategoriler
4.2.Morfizmler
5.Funktörler 2
6.Doğal dönüşümler 2
7.Diğer kavramlar
7.1.Evrensel yapılar, limitler ve colimits
7.2.Eşdeğer kategoriler
7.3.Daha fazla kavram ve sonuç
7.4.Daha yüksek boyutlu kategoriler
8.Tarihsel notlar
[Yükle Daha fazla Içindekiler ]


Telif hakkı @2018 Lxjkh