dedekind::category::IsSubalgebraOf Concept Reference

S is declared as a subalgebra of some base algebra. More...

Concept definition

template<typename S>
concept dedekind::category::IsSubalgebraOf =  requires { typename subalgebra_base<S>::type; }

Detailed Description

S is declared as a subalgebra of some base algebra.

Triggered by a specialisation of subalgebra_base exposing a ::type member. Sibling of IsQuotientAlgebra and IsProductAlgebra; all three are HSP operations that preserve the structural species traits of Base.