So, let me just summarise this by putting down the following conceptual ratio. As you see the relationship which runs between least fixed-point and greatest fixed-point is the same that runs between inductive types and co-inductive types. It is the same relationship that runs between recursion and co-recursion, the same relationship that runs between induction and co-induction.

---