Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
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. | |
| | | | |
cronokirby.com
|
|
| | | | | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/ | |
| | | | |
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... | |
| | | | |
cuoichutdi.wordpress.com
|
|
| | | Liverpool v?a vô ??ch Premier League, ?i?u này t?o nên m?t th?ng kê thú v?: s? cúp vô ??ch c?a các ??i bóng t?o thành m?t dãy s? Fibonacci. ?i?u này là ng?u nhiên hay có m?t cách lí gi?i toán h?c ?n sau nó? Tôi biên bài báo ng?n v? dãy Fibonacci c?ng nh?... | ||
