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. | |
| | | | |
www.math3ma.com
|
|
| | | | | ||
| | | | |
cronokirby.com
|
|
| | | | | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/ | |
| | | | |
wimvanderbauwhede.codeberg.page
|
|
| | | Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles. | ||
