-
Notifications
You must be signed in to change notification settings - Fork 0
Home
An initial curriculum was formed from the Stanford Category Theory Reading Guide as well as an MIT OCW offering.
The notes (e.g., Monoidscontained in this wiki are designed to serve as a quick lookup and companion to the full text by Spivak; they are not meant to be read in isolation. When possible, plain English attempts at explication are favored, where rigor is left to the full text. It is often the case that a concept will be referred to later in the text and a quick reminder is needed of its earlier introduction. If anything, the notes should help to orient oneself around the territory of the material to learn. Dive in to any page of interest. They were written by the author as a means for laying breadcrumbs for himself as he made his way through the texts.
Diagrams included in the wiki are often taken from Spivak, as are some direct quotes when a particularly pithy way of characterizing a concept is offered.
-
(Primary, gentler introduction) Category Theory for the Sciences by David I. Spivak. (Old free Version).
- Reading Guide from David Spivak's 2013 MIT OCW offering.
- Amazon.
- Free HTML version (in Spivak's words, less fun).
-
(Secondary, more abstract companion to Spivak) Category Theory by Steve Awodey.
- Abstraction in Technical Computing by Jeff Bezanson. This is a PhD thesis revolving around the Julia programming language.
Author(s): Brooks Mershon.