A stabilizing step function on a carrier species. More...

Concept definition

template<typename T, typename Step>
concept dedekind::category::IsIterativeEndomorphism = 
    std::invocable<Step, T> && std::same_as<std::invoke_result_t<Step, T>, T>

Detailed Description

A stabilizing step function on a carrier species.