Explore >> Select a destination
|
You are here 
|
blog.sigfpe.com | ||
| | | | |
cronokirby.com
|
|
| | | | | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/ | |
| | | | |
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... | |
| | | | |
www.jeremykun.com
|
|
| | | | | Previously in this series we've seen the definition of a category and a bunch of examples, basic properties of morphisms, and a first look at how to represent categories as types in ML. In this post we'll expand these ideas and introduce the notion of a universal property. We'll see examples from mathematics and write some programs which simultaneously prove certain objects have universal properties and construct the morphisms involved. | |
| | | | |
blog.hde.design
|
|
| | | |||
