Coalgebra of the real interval

Last updated Apr 23, 2024

Tags: coalgebra, Comonad, Analysis