Q is declared as a quotient of some base algebra. More...

Concept definition

template<typename Q>
concept dedekind::category::IsQuotientAlgebra = 
    requires { typename quotient_algebra_base<Q>::type; }

Detailed Description

Q is declared as a quotient of some base algebra.

Triggered by a specialisation of quotient_algebra_base<Q> exposing a ::type member. Carrier-side cousin of algebra::IsQuotientMorphism (the projection π: Base → Q) in :universal.