🗄️
math-debrief
search
Ctrlk
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentalschevron-right
  • 200 Set and Set theorychevron-right
  • Relationschevron-right
  • Order theorychevron-right
  • Function Theorychevron-right
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:chevron-right
  • Logicchevron-right
  • 510 Lambda Calculichevron-right
  • Type theorychevron-right
  • Abstract Algebrachevron-right
  • Category Theorychevron-right
    • CT GLOSSARY
    • Category Theory: OUTLINE
    • CT SUMMARY
    • A First Introduction to Categories (2009)chevron-right
    • Category Theory Fundamentalschevron-right
    • Key conceptschevron-right
    • Categorical constructionschevron-right
    • Types of categorieschevron-right
    • Types of Functorschevron-right
    • Types of Morphismschevron-right
    • 20-advanced-conceptschevron-right
    • Category Theorychevron-right
    • Category Theory :: Contentschevron-right
      • 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 Theorychevron-right
  • Theory of computationchevron-right
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,chevron-right
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathematchevron-right
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

Was this helpful?

Was this helpful?