1. В алгебрі та теорії категорій — відображення між двома алгебричними структурами (наприклад, групами, кільцями, напівгрупами) або об’єктами категорій, яке зберігає операції, але змінює порядок їх виконання; якщо φ: A → B є антигомоморфізмом, то для будь-яких елементів x, y з A виконується φ(x·y) = φ(y)·φ(x), де крапка позначає відповідну бінарну операцію.
2. У теорії напівгруп та теорії кілець — гомоморфізм, що обертає множення; відображення, яке є мультиплікативним, але антикомутативним відносно операції множення (тобто переставляє множники у зворотному порядку).