/explore
|
You are here 
|
cronokirby.com | ||
| | | | |
johnbender.us
|
|
| | | | | Writings on computer stuff. | |
| | | | |
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? | |
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 17 of Categories for Programmers. Previously: Yoneda Embedding. See the Table of Contents. If I haven't convinced you yet that category theory is all about morphisms then I haven't done my job properly. Since the next topic is adjunctions, which are defined in terms of isomorphisms of hom-sets, it makes sense to... | |
| | | | |
izbicki.me
|
|
| | | |||
