Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
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 [...] | |
| | | | |
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
|
|
| | | | | [AI summary] The article discusses the foundational concepts of category theory, its connections to logic and type theory, and how these fields are unified through shared principles of composability and universal constructions, with insights into their implications for programming and mathematics. | |
| | | | |
ncatlab.org
|
|
| | | [AI summary] The nLab entry explores philosophical aspects of mathematics, including metaphysics, foundational issues, and historical paradigms, with references to key thinkers and texts. | ||
