F is declared as the free algebra over some base R. More...

Concept definition

template<typename F>

concept dedekind::category::IsFreeAlgebra = requires { typename free_algebra_base<F>::type; }

dedekind::category::IsFreeAlgebra

F is declared as the free algebra over some base R.

Definition free.cppm:86

dedekind::category::free_algebra_base

free_algebra_base<F>: carrier-side declaration that F is the free algebra over some base R (the textb...

Definition free.cppm:72

Detailed Description

F is declared as the free algebra over some base R.

Triggered by a specialisation of free_algebra_base<F> exposing a ::type member. Sibling of IsQuotientAlgebra (H) and IsProductAlgebra (P); F is the textbook companion to the HSP variety closure.