📈
wiki
search
Ctrlk
  • Introduction
  • Bookschevron-right
  • Computer Sciencechevron-right
  • Programmingchevron-right
    • Functional programmingchevron-right
      • Functional data structures
      • Algebraic Effects
      • Dependent Typeschevron-right
      • Continuations
      • Category Theory
      • Total functional programming
      • Uniqueness Typing
      • GADT
      • Tagless Final
    • Concurrent Programmingchevron-right
    • Parallel Programming
    • Systems Programmingchevron-right
    • Unicode
  • Competitive Programming
  • Source controlchevron-right
  • Programming languageschevron-right
  • Networkingchevron-right
  • Mindfullnesschevron-right
  • LLVMchevron-right
  • Operating systemschevron-right
  • Linuxchevron-right
  • macOSchevron-right
  • Windowschevron-right
  • CLIchevron-right
  • Technologychevron-right
  • Databaseschevron-right
  • Text editorschevron-right
  • IDEschevron-right
  • Philosophychevron-right
  • Learningchevron-right
  • Historychevron-right
  • Buddhismchevron-right
  • Psychologychevron-right
  • Logicchevron-right
  • Literaturechevron-right
  • Researchchevron-right
  • Paperschevron-right
  • Courseschevron-right
  • Devopschevron-right
  • Lifechevron-right
  • Meetupschevron-right
  • Sportschevron-right
  • Musicchevron-right
  • Podcasts
  • Movies
  • TV Series
  • Logchevron-right
  • TILchevron-right
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. Programmingchevron-right
  2. Functional programming

Category Theory

hashtag
Links

  • Seven Sketches in Compositionality: An Invitation to Applied Category Theoryarrow-up-right

  • Category Theory for Programmers (2014)arrow-up-right

PreviousContinuationschevron-leftNextTotal functional programmingchevron-right

Last updated 6 years ago