Under Construction

The notes contained in this wiki (e.g., Monoids) 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 one orient herself around the territory of the material to learn. At the very least, these notes reflected principal definitions I found myself wanting to stake down for later reference; they are breadcrumbs for my inevitable retreat into earlier parts of the texts (Lawvere and Spivak).

Original diagrams (such as this one) can be identified by the included name of the author. Many thanks to Spivak for the numerous other diagrams that have been included here and there as a means to read quickly and not pause to recreate them. In the future, all diagrams will be drawn anew, because cribbing is bad, and drawing diagrams is fun (though time-consuming). For now, no tikz.

Also note that I currently favor math-y expression written as functional programming expressions, since that approach works will with GH-flavored markdown. That might not be a good idea, but for now I'm experimenting with just writing out:

f(alpha(x))

instead of

(f ○ α) (x).

It is also easier to manage a "flat" architecture of GitHub wiki pages than to recreate a digested version of Spivak or Lawvere as a properly LaTeX-typeset document.

Reading guide

My (Brooks) course so far (italics are TODO):

Through Chapter 4 of Spivak, started 5.

Switched to Lawvere.

Dip into Evan Chen's Napkin Project sporadically for things like Groups. Since sections are 15 pages or less, these sojourns don't tend to distract. They either pique curiosities or clarify how some ideas are related. I treat this resource like the OED: a quick, index, authoritative reference with particularly useful see also references.

Resume Spivak.

Pick through Awodey.

The pages contained in this wiki reflect the author's note taking in the process of moving through the readings.