Eşlenik çiftlerin önemli bir özelliği, alt kategorilerdeki denkliklerle sınırlamalarıdır ve yukarıdaki Galois teorisi ve cebirsel geometri örneklerinde elde ettiğimiz şey budur: ilk birleşik çift, Galois teorisinin temel teoremi tarafından bir denkliktir ve ikinci birleşik çift bir denklik ile sınırlandırılır …
Eşleşen işlevler neden önemlidir?
Eşleniklerin en önemli özelliği süreklilikleridir: sol eşleni olan (ve dolayısıyla sağ eşleni) her functor sürekli'dir (yani, kategoride sınırlarla gidip gelir teorik anlam); bir sağ eşlemi olan (ve dolayısıyla bir sol eşlemi olan) her functor eş-süreklidir (yani … ile değişir)
Eşleşen işlevler benzersiz mi?
Bir işleve sol veya sağ bitişik (Def. 1.1), varsa, doğal izomorfizme kadar benzersizdir. Kanıt. L:?→? verilmiş ve varsa sağ ekinin tekliğini istiyoruz.
Soldaki ek benzersiz mi?
Sol birleşik işlev, benzersiz doğal izomorfizme kadar benzersiz bir sağ bitişikliğe sahiptir.
Ev seti nedir?
Matematikte, özellikle kategori teorisinde, ev kümelerinde, i.e.nesneler arasındaki morfizm kümeleri, kümeler kategorisine önemli işlevler verir. Bu işlevlere hom-işlevleri denir ve kategori teorisinde ve diğer dallarda çok sayıda uygulamaya sahiptir.matematik.
