category-theory-for-programmers-in-scala
search
Ctrlk
  • README
  • Category Theory for Programmerschevron-right
    • preface
    • part_onechevron-right
      • Category: The Essence of Composition
      • Types & Functions
      • Categories Great & Small
      • Kleisli Categories
      • Products & Coproducts
      • Simple Algebraic Data Types
      • Functors
      • Functionality
      • Function Types
      • Natural Transformations
    • part_twochevron-right
    • part_threechevron-right
    • definitions
    • resources
  • changelog
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. Category Theory for Programmers

part_one

Category: The Essence of Compositionchevron-rightTypes & Functionschevron-rightCategories Great & Smallchevron-rightKleisli Categorieschevron-rightProducts & Coproductschevron-rightSimple Algebraic Data Typeschevron-rightFunctorschevron-rightFunctionalitychevron-rightFunction Typeschevron-rightNatural Transformationschevron-right
Previousprefacechevron-leftNextCategory: The Essence of Compositionchevron-right

Last updated 7 years ago