Coinduction and Bisimulation

This post introduces the concepts of coinduction and bisimulation via the theory of fixed points of monotone maps.