Antiisomorfisme

Dalam cabang dari matematika bernama teori kategori, antiisomorfisme antara himpunan terstruktur A dan B adalah isomorfisme dari A ke lawan dari B. Ini juga ekuivalen dengan pernyataan bahwa kedua himpunan terstruktur tersebut isomorfisme dari lawan dari A ke B. Himpunan-himpunan tersebut dikatakan anitiisomorfik jika terdapat antiisomorfisme antara dua struktur. Secara intuitif, mengatakan bahwa dua struktur matematika adalah antiisomorfik berarti bahwa kedua struktur tersebut pada dasarnya berlawanan satu sama lain. Konsep ini sangat berguna ketika diterapkan pada gelanggang.