Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | In the previous instalment of Category Theory for Programmers we talked about the category of types and functions. If you're new to the series, here's the Table of Contents. You can get real appreciation for categories by studying a variety of examples. Categories come in all shapes and sizes and often pop up in unexpected... | |
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 12 of Categories for Programmers. Previously: Declarative Programming. See the Table of Contents. It seems like in category theory everything is related to everything and everything can be viewed from many angles. Take for instance the universal construction of the product. Now that we know more about functors and natural transformations, can... | |
| | | | |
rakhim.org
|
|
| | | | | ||
| | | | |
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... | ||
