Explore >> Select a destination


You are here

ncatlab.org
| | www.logicmatters.net
4.3 parsecs away

Travel
| | 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
4.1 parsecs away

Travel
| | 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
4.0 parsecs away

Travel
| | [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
33.4 parsecs away

Travel
| [AI summary] The nLab entry explores philosophical aspects of mathematics, including metaphysics, foundational issues, and historical paradigms, with references to key thinkers and texts.