Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
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. | |
| | | | |
www.math3ma.com
|
|
| | | | | [AI summary] This article explains the concept of commutative diagrams in mathematics, defining them as pictures of function composition where different paths between objects yield the same result. | |
| | | | |
blog.computationalcomplexity.org
|
|
| | | In my post about the myth that Logicians are crazy I mentioned in passing that Whitehead and Russell spend 300 pages proving 1+1=2 (but we... | ||
