Co-Induction
A short article introducing inductive and coinductive types, and the technique of coinduction.
Summer of Math Exposition
Presented by 
3blue1brown
Presented by 3blue1brown
A short article introducing inductive and coinductive types, and the technique of coinduction.