dedekind::category::HasPeriod Concept Reference

A sequence on finite chains with a declared period, read by period(f): \(f(k + p) = f(k)\) for every k. Periodicity is a sequence's, an arrow out of the counts, not an arrow's in general. More...

Concept definition

template<typename F>
concept dedekind::category::HasPeriod =  IsFiniteChainSequence<F> && requires(const F& f) {
  { period(f) } -> std::same_as<Dom<F>>;
}

Detailed Description

A sequence on finite chains with a declared period, read by period(f): \(f(k + p) = f(k)\) for every k. Periodicity is a sequence's, an arrow out of the counts, not an arrow's in general.

Template Parameters

F	the arrow.