Kategori teorisi: Revizyonlar arasındaki fark

 

== Tarihi ==

Bir '''kategori''' birbirileriyle ilişkili matematiksel nesneler sınıfının (örneğin [[Grup Teorisi|grupların]]) özünü yakalamaya çalışır. Geleneksel olarak yapıldığı gibi tekil nesneler (gruplar) üzerine yoğunlaşmak yerine, bu nesneler arasındaki yapı muhafaza edici gönderimler (yani [[morfizim]]ler) üzerine yoğunlaşır. Gruplar örneğinde bu gönderimler [[grup homomorfizmi|grup homomorfizmleridir]]. Bu şekilde farklı kategorileri [[funktor|funktorlar]] aracılığıyla ilişkilendirmek mümkündür. Funktorlar, bir kategorinin her nesnesini diğer kategorinin bir nesnesiyle ve bir kategorideki morfizmi diğerindeki bir morfizme ilişkilendiren [[fonksiyon]]ların bir genelleştirmesidir. Sıkça [[topolojik uzay|topolojik uzayın]] [[temel grup|temel grubu]] gibi "doğal yapılar" funktorlar şeklinde ifade edilebilir. Bunun ötesinde, bu tip yapılar "doğal bir bağıntıya" sahiptir ve bir funktoru diğerine ilişkilendirme yolu olan [[doğal transformasyon]] konseptine olanak tanır.

 

==Dış bağlantı==

*Alexandre Stefanov'un serbest çevrimiçi matematik kaynakları listesinin [http://us.geocities.com/alex_stef/mylist.html ''Kategori Teorisi''] bölümü.

 

{{matematik-taslak}}

 

 

[[ar:نظرية التصنيف]]