/explore
|
You are here 
|
thehighergeometer.wordpress.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... |
|
| | | | | ||
| | | | |
thehousecarpenter.wordpress.com
A natural transformation is an operation on a category, or more precisely a family of operations, one for each object in the category, which is preserved by morphisms in the category. Each operation in the family is associated with a specific object $latex A$ in the category, which it is said to be on. The... |
|
| | | | | ||
| | | | |
idontgetoutmuch.wordpress.com
Blog post on my new site. |
|
| | | | | ||
| | | | |
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. |
|
| | | |||
