Matematikte birçok evrensel özellik vardır . Kategorilerin biçimciliği, bu özelliklerin çok basit bir şekilde ifade edilmesini mümkün kılar.
Let F olmak yerel olarak küçük kategori ve F bir kontravaryant funktor sırasıyla kovaryant, içinde Ens (setlerinin kategorisi). Biz söylemek F olduğu Temsil bir nesne var olup olmadığını X arasında böyle F funktor izomorftur sırasıyla functor, .
Doğal dönüşümler arasında içinde F elemanlarına bijectively gelmektedir .
Bu nedenle, functor'un bir izomorfizmi olduğunda , F fonktörünün (burada F (X) ' in bir öğesidir) ile temsil edildiğini söylüyoruz .
Izin vermek bir kategori, A ve B iki nesnesi . Biz functor düşünün içinde Ens içinde X'in biçerdöver . Bu işlevi temsil etmek , toplamın evrensel özelliğine karşılık gelir .
Ben bir set ve A değişmeli bir halka olalım . Kategorisinin funktor bir de Modül Set (gruplar sırasıyla kategorisi, değişmeli grupları, monoidler, bir bir karşı cebiri) bir Modül (sırasıyla tüm dizi) ortakları sunulabilen. Biz elde serbest bir Modül sırasıyla baz ücretsiz grup I , değişmeli grup , alfabenin dayalı kelimelerin serbest monoid ben , hangi polinomların cebir ben değişkenli kümesidir.
Let E olmak bir metrik uzay . Tam metrik uzay kategorisinden funktor Ens bir olduğunu tam metrik alan X, bir araya Hom (E, X) tamamlanması ile temsil edilir E .
Let E olmak bir topolojik uzay. Kompakt topolojik boşlukların funktor Ens bir kompakt boşluk X- birleştiren Hom (E, X) Stone-Cech kompaktlaştırılması ile temsil edilir E .
Let A aşağıdaki yekpare bir değişmeli halkası ve E ve F , iki A -modüller. Tensör ürün ve E ve F bir funktor olan bir Modül G her iki doğrusal uygulamaları bir araya de G .
Izin vermek bir kategori, A ve B'nin iki nesnesi . Biz functor düşünün içinde Ens içinde X'in biçerdöver . Bu işlevi temsil etmek , ürünün evrensel özelliğine karşılık gelir .
Let X bir topolojik uzay ve olmayacak Y bir parçası X . Tarafından indüklenen topolojisi X ile Y kanonik enjeksiyon functor temsil mesafede en bölgesindeki Ens de A sürekli uygulamalar seti ilişkilendiren A içinde X görüntü dahildir Y .
Let X'in olmak bir yerel kompakt topolojik uzay ve Y bir topolojik uzay. Funktor sürekli fonksiyonların alan ile temsil edilmektedir , X için Y, kompakt açık topoloji ile donatılmış.
Régine ve Adrien Douady , Cebir ve Galois teorileri [ baskıların detayı ]
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">