Category Theory for Programmers: The Preface Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functo... Click to view the original at bartoszmilewski.com