Explore >> Select a destination
|
You are here 
|
leanprover-community.github.io | ||
| | | | |
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... | |
| | | | |
jackkelly.name
|
|
| | | | | ||
| | | | |
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? | |
| | | | |
matthewmcateer.me
|
|
| | | Important mathematical prerequisites for getting into Machine Learning, Deep Learning, or any of the other space | ||
