category-theory-for-programmers-in-scala
  • README
  • Category Theory for Programmers
    • preface
    • part_one
      • 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_two
      • Declarative Programming
      • Limits and Colimits
      • Free Monoids
      • Representable Functors
      • The Yoneda Lemma
      • Yoneda Embedding
    • part_three
      • It's All About Morphisms
      • Adjunctions
      • Free/Forgetful Adjunctions
      • Monads: Programmer's Definition
      • Monads & Effects
      • Monads Catagorically
      • Comonads
      • F-Algebras
      • Algebra for Monads
      • Ends & Coends
      • Kan Extensions
      • Enriched Categories
      • Topoi
      • Lawvere Theories
      • Monads, Monoids, & Categories
    • definitions
    • resources
  • changelog
Powered by GitBook
On this page
  • About
  • And to make sure we stand on the shoulders of giants:
  • Getting Started
  • Part 1

README

NextCategory Theory for Programmers

Last updated 7 years ago

Here is a talk the author gave that gives a little background

from Bartosz Milewskis book on Category Theory

and help from others, particularly

  • @elbaulp

  • @onlurking

About

I want to learn Category Theory, Functional Programming, and Scala.

And to make sure we stand on the shoulders of giants:

(We can check them off as we absorb their smarticles)

Getting Started

PLEASE :heart: submit a pull request or issue, just to say hi :smiley:

Part 1

[X] others already doing this in scala

[X] others compiling nice books

reading great blogs

making cool courses

writing about languages they designed

letting you run excercises in your browser

writing books that need to be read

and the code that needs to be run

Merging and so we can have one giant happy repo where we can

https://github.com/elbaulp/Scala-Category-Theory
https://github.com/onlurking/category-theory-for-programmers
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
https://www.coursera.org/learn/progfun1
https://www.artima.com/shop/programming_in_scala_3ed
https://www.scala-exercises.org/fp_in_scala/getting_started_with_functional_programming
https://www.manning.com/books/functional-programming-in-scala
https://github.com/fpinscala/fpinscala
https://github.com/elbaulp/Scala-Category-Theory
https://github.com/onlurking/category-theory-for-programmers
https://github.com/elbaulp/Scala-Category-Theory
https://github.com/onlurking/category-theory-for-programmers
https://www.scala-lang.org/
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
https://www.coursera.org/learn/progfun1
you-are-here