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
  • 2018-05-22
  • 2018-05-21
  • 2018-05-14
  • ORIGIN
  • Vision for project
  • Resources used/to use

changelog

Previousresources

Last updated 6 years ago

2018-05-22

I keep getting lost with definitions - I need a definition repository. None of the current solutions on the itnernet seem great. there is the stanford encyclopedia, , and a few texts online.... actually this repo could do with a resources section

2018-05-21

removed

  • old folder for building

added

  • prismjs plugin

  • book.json file

  • titles & videos

2018-05-14

  • Added changelog

  • looking into using jupyter

ORIGIN

Vision for project

I want to be able to:

  • read Category Theory for Programmers

  • take notes in the book

  • execute code from the book

Resources used/to use

To run the code in the book is possible but a lot of work unless we use something like Jupyter/Zeppelin Notebooks which could be really cool - but is it necessary?

if we go docusaurus/hugo the code could be formatted really pretty but I don't know if we can make that executable... There doesn't seem to be that much emphasis on code in the books anyways

https://keepachangelog.com/en/1.0.0/
https://plato.stanford.edu/entries/category-theory/
https://github.com/jupyter/jupyter/wiki/Jupyter-kernels
https://github.com/jupyter-scala/jupyter-scala
https://github.com/gibiansky/IHaskell