/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.jeremykun.com
Properties of Morphisms | Math Programming
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
17.2 parsecs away

Travel
| | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.
| | bartoszmilewski.com
Free Monoids | Bartosz Milewski's Programming Cafe
13.9 parsecs away

Travel
| | This is part 13 of Categories for Programmers. Previously: Limits and Colimits. See the Table of Contents. Monoids are an important concept in both category theory and in programming. Categories correspond to strongly typed languages, monoids to untyped languages. That's because in a monoid you can compose any two arrows, just as in an untyped...
| | cronokirby.com
Categorical Graphs - Cronokirby
12.8 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/
| | bartoszmilewski.com
C++ Ranges are Pure Monadic Goodness | Bartosz Milewski's Programming Cafe
35.2 parsecs away

Travel
| We have this friendly competition going on between Eric Niebler and myself. He writes some clever C++ template code, and I feel the compulsion to explain it to him in functional terms. Then I write a blog about Haskell or category theory and Eric feels a compulsion to translate it into C++. Eric is now...