Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
cronokirby.com
|
|
| | | | | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/ | |
| | | | |
rakhim.org
|
|
| | | | | [AI summary] The article discusses the foundational concepts of category theory, its connections to logic and type theory, and how these fields are unified through shared principles of composability and universal constructions, with insights into their implications for programming and mathematics. | |
| | | | |
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... | |
| | | | |
rhubbarb.wordpress.com
|
|
| | | My previous post was written with the help of a few very useful tools: LaTeX mathematical typesetting Gummi LaTeX editor Python programming language PyX Python / LaTeX graphics package my own PyPyX wrapper around PyX LaTeX2WP script for easy conversion from LaTeX to WordPress HTML | ||
