Coalgebra of the real interval

Last updated Sep 8, 2023

Tags: coalgebra, Comonad, Analysis