dedekind::category::PowerFunctor Struct Reference

The list functor on the letter maps, a word for a letter, of every length, and power(tau) for an arrow tau: the power functor \((-)^n\) at each length at once. It has no state, so it is one functor, and rev and rotate(d) are natural transformations of it to itself, by the certificates above. More...

Public Types
using	Σ_cat = LetterMaps
using	Τ_cat = LetterMapsOnWords
using	Domain = LetterMaps
using	Codomain = LetterMapsOnWords
template<typename U>
using	Shape = std::vector<U>

Public Member Functions
constexpr Codomain	operator() (const Domain &) const
template<typename A> requires IsArrow<std::remove_cvref_t<A>> && std::same_as<Dom<std::remove_cvref_t<A>>, Cod<std::remove_cvref_t<A>>>
constexpr PowerMap< std::remove_cvref_t< A > >	operator() (A tau) const

Detailed Description

The list functor on the letter maps, a word for a letter, of every length, and power(tau) for an arrow tau: the power functor \((-)^n\) at each length at once. It has no state, so it is one functor, and rev and rotate(d) are natural transformations of it to itself, by the certificates above.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/periodic.cppm