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:
- Domain theory: LINKS
- Domain theory
Logic
510 Lambda Calculi
Type theory
Abstract Algebra
Category Theory
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
- 810-statistics
- 888-calculus
  - Calculus
  - Math › Calculus › TERMS

Powered by GitBook

On this page

Was this helpful?

Category Theory

Category Theory :: Contents

CT :: Links

PreviousCategory Theory :: Contents NextCategory Theory :: Terms

Last updated 3 years ago

Was this helpful?

Category Theory by Example 2021 Ivan Murashko, Alexey Radkov, Marat Minshin git org: hs code:
Category Theory and Haskell
Monads in Haskell and Category Theory - Samuel Grahn 2019
Peeling the Banana: Recursion Schemes from First Principles Zainab Ali
Category Theory for Programmers Posted by Bartosz Milewski

https://nbviewer.jupyter.org/github/CatTheoryByExample/book/blob/master/cattheory.pdf

https://github.com/CatTheoryByExample

https://nbviewer.jupyter.org/github/CatTheoryByExample/hs-examples/tree/master/

http://www.alpheccar.org/content/77.html

https://www.diva-portal.org/smash/get/diva2:1369286/FULLTEXT01.pdf

https://www.youtube.com/watch?v=XZ9nPZbaYfE

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/