Eşyapı Tanım

En geniş tanımıyla, bir kategorisi içinde iki nesne ve , ve 'dan 'ye kategorinin bir gönderimi var olsun. Eğer 'nin aynı kategoride izin verilen gönderimler içinde bir tersi varsa (bu ters olsun) ve ve eşitlikleri sağlanıyorsa, 'ye 'dan 'ye bir eşyapı (gönderimi) denir. Tabii ki de 'den 'ya bir eşyapı gönderimi olur. Burada olarak gösterilen gönderim, 'da her bir elemanı kendisine götüren gönderimdir. eşyapısının tersi olan gönderim olarak gösterilir.
Yani bir eşyapıysa, aynı kategoride bir de tersi vardır ve önce ile gidip sonra ile geri dönünce 'da hiçbir şey yapmamış oluruz; benzer biçimde önce ile gidip sonra ile geri dönünce 'de hiçbir şey yapmayız.