📚 Node [[cat]]
📓 cat.md (text) by @flancian ️本 📝

Cat

📓 cat.org (text) by @jakeisnt

Math

category theory for programmers Compiling to categories

https://en.wikipedia.org/wiki/Monad_(category_theory)#Algebras_for_a_monad <button class="pull-url" value="https://en.wikipedia.org/wiki/Monad_(category_theory)#Algebras_for_a_monad">pull</button> https://en.wikipedia.org/wiki/Kleisli_category <button class="pull-url" value="https://en.wikipedia.org/wiki/Kleisli_category">pull</button> -- category for monads http://www.philipzucker.com/computational-category-theory-in-python-ii-numpy-for-finvect/

https://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem Does every monad arise from an adjunction? http://comonad.com/reader/ -- curry howard lambek currespondence guides researchers into computation. rea ding a logic like type theory is a definitional trick as it is just reinterpretation of syntax. syntactic categories are difficult to connect to categorical semantics

📓 cat.md (text) by @flancian@twitter.com

[[cat]] enjoys dinner with [[friends]] https://t.co/gswXno8ln0


Receiving pushes... (requires JavaScript)
Loading context... (requires JavaScript)
🏛️ Stoas for [[cat]]
📖 Open document (Hedgedoc) at https://doc.anagora.org/cat
📖 Open document (Etherpad) at https://stoa.anagora.org/p/cat