|
You are here |
ncatlab.org | ||
| | | | |
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? | |
| | | | |
www.logicmatters.net
|
|
| | | | | I thought I should take a look at the just-published book by Noson Yanofsky, Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing (MIT Press, 2024). Yanofsky is on a proselytizing mission. He wants to persuade us that, as his Preface has it, once the language of category theory is understood "one is capable [...] | |
| | | | |
jackkelly.name
|
|
| | | | | ||
| | | | |
ameeracademy.school.blog
|
|
| | | I am pretty much a software development novice. I know just a little Java and a tiny bit of C++. Nothing basically. I am wanting to create my own photo editing software, somewhat similar to Photoshop, but with much less elements. I would like things like various brushes and similar though. So, perhaps similar to... | ||