dedekind::algebra::detail_universal::homomorphism_of< Arrow, S, T > Struct Template Reference

Arrow is an arrow between two algebras, IsAlgebra of S on its domain and of T on its codomain, that carries each operation of S to the one in the same place of T, a monoid homomorphism for each: false unless both are signatures of one nonzero length. A struct, so its partial specialisation fires across module boundaries. More...

Inheritance diagram for dedekind::algebra::detail_universal::homomorphism_of< Arrow, S, T >:

Collaboration diagram for dedekind::algebra::detail_universal::homomorphism_of< Arrow, S, T >:

Detailed Description

template<typename Arrow, typename S, typename T>
struct dedekind::algebra::detail_universal::homomorphism_of< Arrow, S, T >

Arrow is an arrow between two algebras, IsAlgebra of S on its domain and of T on its codomain, that carries each operation of S to the one in the same place of T, a monoid homomorphism for each: false unless both are signatures of one nonzero length. A struct, so its partial specialisation fires across module boundaries.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/algebra/universal.cppm