Q is declared as a finite direct product of some base algebra. More...

Concept definition

template<typename Q>

concept dedekind::category::IsProductAlgebra = requires { typename product_algebra_base<Q>::type; }

dedekind::category::IsProductAlgebra

Q is declared as a finite direct product of some base algebra.

Definition quotient.cppm:278

dedekind::category::product_algebra_base

product_algebra_base<Q>: carrier-side declaration that Q is a finite direct product of some base alge...

Definition quotient.cppm:263

Detailed Description

Q is declared as a finite direct product of some base algebra.

Triggered by a specialisation of product_algebra_base<Q> exposing a ::type member. Sibling of IsQuotientAlgebra; both are HSP operations that preserve the structural species traits of Base.