Coalgebra of the real interval

Last updated Oct 7, 2024

Tags: coalgebra, Comonad, analysis