/explore
|
You are here 
|
www.jeremykun.com | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | In the previous instalment of Category Theory for Programmers we talked about the category of types and functions. If you're new to the series, here's the Table of Contents. You can get real appreciation for categories by studying a variety of examples. Categories come in all shapes and sizes and often pop up in unexpected... | |
| | | | |
jeremykun.wordpress.com
|
|
| | | | | Last time we investigated the (very unintuitive) concept of a topological space as a set of "points" endowed with a description of which subsets are open. Now in order to actually arrive at a discussion of interesting and useful topological spaces, we need to be able to take simple topological spaces and build them up... | |
| | | | |
rakhim.org
|
|
| | | | | [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. | |
| | | | |
lisyarus.github.io
|
|
| | | |||
