Category Theory
Category theory is a branch of mathematics that studies structures and relationships between objects and the morphisms that connect them, with the goal of providing a unified framework for understanding and describing mathematical concepts and structures.
Categories:
less than a minute
WIP: Placeholder page - Will focus on the parts of Category Theory that have been found to be most useful to Functional Programming.
- Bartosz Milewski - Category Theory for Programmers
- YouTube: Bartosz Milewski - Category Theory
- Bartosz Milewski - The Dao of Functional Programming
- YouTube: David Spivak - Category Theory
- YouTube: TheCatsers
- nLab: Type Theory
- Steven Awodey - Homotopy and Type Theory
- Book: Steven Awodey - Homotopy and Type Theory
- Curry-Howard correspondence
- Cartesian closed category
- Book: Lawvere & Schanuel - Conceptual Mathematics, 2nd edition
Last modified January 10, 2023: Added utterance for comments (446a2dc)