This is part of the book Category Theory for Programmers. The previous instalment was Category: The Essence of Composition . The category of types and functions…

Types and Functions