Coinduction is the mathematical dual to an indispensible mathematical tool: induction.
While mathematical induction has been known for thousands of years, coinduction has only been studied for a few decades.
It is still primarily used in computer science, from which it originated in the field of concurrency theory.
Coinduction allows us to define circular or *infinite* objects (such as streams, lists that can be infinitely long), and to prove things about them.

Welcome to my blog! This is the first (official) post, hopefully of many.