Brownian motion

• coinductive Brownian motion
• random walk graded coalgebra

Back: coinduction.