graded comonad of paths

Last updated Oct 14, 2024

Tags: graded comonad, coalgebraic physics.