A family of rotations that depends on the letter: each component commutes with every map on the letters, yet a map that changes the letter meets different rotations at the two ends of the square, so it is no natural transformation, and is refused. More...

Public Member Functions
constexpr Morphism< std::vector< std::byte >, std::vector< std::byte >, Rotation<> >	operator() (std::byte c) const

Detailed Description

A family of rotations that depends on the letter: each component commutes with every map on the letters, yet a map that changes the letter meets different rotations at the two ends of the square, so it is no natural transformation, and is refused.

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

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

Public Member Functions

Detailed Description