π Node [[cat]] exact match
π pages/cat.org by @jakeisnt
category theory for programmers Compiling to categories
https://en.wikipedia.org/wiki/Monad_(category_theory)#Algebras_for_a_monad https://en.wikipedia.org/wiki/Kleisli_category — 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 by @flancian@twitter.com
- [[2022-11-11 22:14:27+00:00]] @[[flancian]]: https://twitter.com/flancian/status/1591192660349444098
[[cat]] enjoys dinner with [[friends]] https://t.co/gswXno8ln0
Loading pushes...
Rendering context...