dedekind::category::PowerMap< T > Struct Template Reference

An arrow on the letters applied to every letter of a word, of any length: the list functor's action on arrows, \(\tau^{\times n}\) at each length \(n\) at once, beside power on the alphabet, Listing 4's power one level up. It commutes with every permutation of the positions, which is naturality read on words. More...

Collaboration diagram for dedekind::category::PowerMap< T >:

Public Types
using	Domain = std::vector<Dom<T>>
using	Codomain = std::vector<Dom<T>>

Public Member Functions
constexpr Domain	operator() (Domain w) const
constexpr bool	operator== (const PowerMap &) const =default

Public Attributes
T	tau

Detailed Description

template<IsArrow T>
requires std::same_as<Dom<T>, Cod<T>>
struct dedekind::category::PowerMap< T >

An arrow on the letters applied to every letter of a word, of any length: the list functor's action on arrows, \(\tau^{\times n}\) at each length \(n\) at once, beside power on the alphabet, Listing 4's power one level up. It commutes with every permutation of the positions, which is naturality read on words.

Template Parameters

T	the arrow on the letters.

---

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

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