Explore >> Select a destination
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
www.jeremykun.com
|
|
| | | | | Last time we worked through some basic examples of universal properties, specifically singling out quotients, products, and coproducts. There are many many more universal properties that we will mention as we encounter them, but there is one crucial topic in category theory that we have only hinted at: functoriality. As we've repeatedly stressed, the meat of category theory is in the morphisms. One natural question one might ask is, what notion of morphism is there between categories themselves? | |
| | | | |
rakhim.org
|
|
| | | | | ||
| | | | |
www.jeremykun.com
|
|
| | | | | For a list of all the posts on Category Theory, see the Main Content page. It is time for us to formally define what a category is, to see a wealth of examples. In our next post we'll see how the definitions laid out here translate to programming constructs. As we've said in our soft motivational post on categories, the point of category theory is to organize mathematical structures across various disciplines into a unified language. | |
| | | | |
cambodianbeginnings.wordpress.com
|
|
| | | Visit the post for more. | ||
