coinductive Brownian motion

Last updated Feb 15, 2025

• graded coalgebra on a graded monad
• Brownian motion