Types and Functions Dec 8, 2014 • martin 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