A map between two monoids, (T, Op) and its image under Op2, that carries the operation, declared on every pair, and the unit to the unit, computed (:morphism's PreservesUnit). More...

Concept definition

template<typename F, typename T, typename Op, typename Op2 Op>
concept dedekind::category::IsMonoidHomomorphism = 
    IsMonoid<T, std::remove_cvref_t<Op>> &&
    IsMonoid<detail_morphism::image_t<F, T>, std::remove_cvref_t<Op2>> &&
    IsMagmaHomomorphism<F, T, Op, Op2> && PreservesUnit<F, T, Op, Op2>

Detailed Description

A map between two monoids, (T, Op) and its image under Op2, that carries the operation, declared on every pair, and the unit to the unit, computed (:morphism's PreservesUnit).

Template Parameters

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