Module WalkingFunctor

The walking functor as a VDC.

The walking functor is the unital virtual double category freely generated by a pair of objects, here called Zero and One, and a single arrow between them.

Structs

Main

Struct representing the walking functor.

Enums

Arr

Type of arrows in the walking functor.

Cell

Type of cells in the walking functor.

Ob

Type of objects in the walking functor.