Introducing Categories
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…
Introducing Categories #categories 2013-04-24 This article was ported from my old Wordpress blog here, If you see any issues with the rendering or layout, please send me an email . 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
Explore this link on the map →related reading
- Category Theory on Math3mamath3ma.com
- Category theory - Wikipediaen.wikipedia.org
- What is Category Theory Anyway?math3ma.com
- Infinity Category Theory Offers a Bird's-Eye View of Mathematics | Scientific Americanscientificamerican.com
- Functor - Wikipediaen.wikipedia.org
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- Adjunctions | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Kleisli Categories | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Yoneda lemma - Wikipediaen.wikipedia.org
- Napkin.pdfvenhance.github.io
- Universal property - Wikipediaen.wikipedia.org
- Natural Transformations | Bartosz Milewski's Programming Cafebartoszmilewski.com