A map on T that reverses Op, \(f(a \cdot b) = f(b) \cdot f(a)\): a homomorphism into the opposite, Opposite<Op>, read off the homomorphism certificate rather than declared apart. More...

Concept definition

template<typename F, typename T, typename Op>
concept dedekind::category::IsAntiHomomorphism = 
    IsMagmaHomomorphism<F, T, Op, Opposite<std::remove_cvref_t<Op>>>

Detailed Description

A map on T that reverses Op, \(f(a \cdot b) = f(b) \cdot f(a)\): a homomorphism into the opposite, Opposite<Op>, read off the homomorphism certificate rather than declared apart.

Template Parameters

F	the map.
T	its carrier.
Op	the operation.