🗄️
math-debrief
search
⌘Ctrlk
🗄️
math-debrief
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentals
  • 200 Set and Set theory
  • Relations
  • Order theory
  • Function Theory
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:
  • Logic
  • 510 Lambda Calculi
  • Type theory
  • Abstract Algebra
  • Category Theory
    • CT GLOSSARY
    • Category Theory: OUTLINE
    • CT SUMMARY
    • A First Introduction to Categories (2009)
    • Category Theory Fundamentals
    • Key concepts
    • Categorical constructions
    • Types of categories
    • Types of Functors
    • Types of Morphisms
    • 20-advanced-concepts
    • Category Theory
    • Category Theory :: Contents
      • CT :: Links
      • Category Theory :: Terms
      • Category :: Definition
      • F-Algebra
      • Functor
      • Initial object
      • Monoid
      • Natural Transformation
      • Number of morphisms
      • Terminal object
      • Transitive closure
      • Types of morphisms
      • Categories by cardinality
      • Types of functors
  • Number Theory
  • Theory of computation
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathemat
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. Category Theorychevron-right
  2. Category Theory :: Contents

CT :: Links

  • Category Theory by Example 2021 Ivan Murashko, Alexey Radkov, Marat Minshin https://nbviewer.jupyter.org/github/CatTheoryByExample/book/blob/master/cattheory.pdfarrow-up-right git org: https://github.com/CatTheoryByExamplearrow-up-right hs code: https://nbviewer.jupyter.org/github/CatTheoryByExample/hs-examples/tree/master/arrow-up-right

  • Category Theory and Haskell http://www.alpheccar.org/content/77.htmlarrow-up-right

  • Monads in Haskell and Category Theory - Samuel Grahn 2019 https://www.diva-portal.org/smash/get/diva2:1369286/FULLTEXT01.pdfarrow-up-right

  • Peeling the Banana: Recursion Schemes from First Principles Zainab Ali https://www.youtube.com/watch?v=XZ9nPZbaYfEarrow-up-right

  • Category Theory for Programmers Posted by Bartosz Milewski https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/arrow-up-right

PreviousCategory Theory :: Contentschevron-leftNextCategory Theory :: Termschevron-right

Last updated 4 years ago