You are here |
www.jeremykun.com | ||
| | | |
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... | |
| | | |
bartoszmilewski.com
|
|
| | | | Previously: Sheaves and Topology. In our quest to rewrite topology using the language of category theory we introduced the category of open sets with set inclusions as morphisms. But when we needed to describe open covers, we sort of cheated: we chose to talk about set unions. Granted, set unions can be defined as coproducts... | |
| | | |
blog.sigfpe.com
|
|
| | | | ||
| | | |
dsyme.home.blog
|
|
| | This is an archive of https://blogs.msdn.com/dsyme, my old blog |