A map on T declared to carry Op to Op2: \(f(a \odot b) = f(a) \circledast f(b)\). More...

Concept definition

template<typename F, typename T, typename Op, typename Op2 Op>
concept dedekind::category::IsMagmaHomomorphism = 
    std::invocable<const F&, const T&> &&
    is_homomorphism_v<std::remove_cvref_t<F>, T, std::remove_cvref_t<Op>,
                      std::remove_cvref_t<Op2>>

Detailed Description

A map on T declared to carry Op to Op2: \(f(a \odot b) = f(a) \circledast f(b)\).

Template Parameters

F	the map.
T	its carrier.
Op
Op2	the operations.