/explore
|
You are here 
|
www.jeremykun.com | ||
| | | | |
cronokirby.com
- Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/ |
|
| | | | | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
mattbaker.blog
I'm teaching Graduate Algebra this semester, and I wanted to record here the proof I gave in class of the (existence part of the) structure theorem for finitely generated modules over a PID. It's a standard argument, based on the existence of the Smith Normal Form for a matrix with entries in a PID, but... |
|
| | | |||
