# Review#

## Why category theory (CT)?#

Category theory is ubiquitous in mathematics; itâs difficult to read mathematical articles on Wikipedia without an understanding of the topic. See also Mathematical subjects you wish you learned earlier - MSE. This may reflect the fact that more mathematicians are using category theory as a basis for mathematics rather than set theory; see Topos Â§ Elementary topoi (topoi in logic) and nLab.

Category theory is also fundamental to programming, and in particular to functional programming. See Is Category Theory useful for learning functional programming? - CS SE and Cats | Semigroup. For the formal relationship between category theory and programming, see CurryâHoward correspondence and Cartesian closed category. These are at least partially addressed by the end of the book.

We use CT for category theory following math.CT in arXiv - Mathematics.

## Why Seven Sketches (7S) for CT?#

Alternative pedagogical resources:

What makes âSeven Sketchesâ stand out is that it is:

1. Tied to Wikipedia

2. Open source

If you need a letter-only acronym for the book, consider SSC (Seven Sketches in Compositionality). This acronym/title could also be used to emphasize a commitment to the Principle of compositionality.

### Tied to Wikipedia#

Category theory is an old topic and shouldnât include much original research. Youâll find most of this bookâs instructions have directly applicable or equivalent articles on Wikipedia; youâll likely eventually want to graduate to using only references (non-pedagogical resources) like Wikipedia and nLab. Weâll assume the authors never inspected Wikipedia and that therefore there are no circular references if we cite it from these sites đ.

In the following (much longer) commentary on this book weâll provide links to the Wikipedia articles that most closely match the content that we are covering in the text. When the text does not provide a great explanation, these links can provide a second perspective.

### Open source#

The PDF is open source and published on arXiv. At the least, this makes it easy to search for content (e.g. latex macros). You could in theory pull only the source of a question out into some other context (perhaps next to your answer, to avoid the split attention effect).

Although there were many small errors (errata, grammar, etc.) in the original PDF, the advantage of open source is that these can not only be expressed to the authors, but fixed. See the latest pipeline in Pipelines Â· applied-category-theory / seven-sketches Â· GitLab for a PDF with some of these kinds of errors fixed.

Even if youâre not fixing errors, being able to build the PDF can be useful for other reasons. You may want to change e.g. the formatting slightly so that it fits more nicely on your computer monitors, or remove content that isnât particularly interesting.

#### Building the PDF#

See also LaTeX/Installing Extra Packages - Wikibooks. The .bib file (the following is line 53 of 7Sketches.tex) is missing from Format selector for 1803.05316v3:

\addbibresource{Library20180913.bib}


The authors seem open/friendly and kindly provided this file via email; see Library20180913.bib Â· 5462bb5616b48e89c5775a13409204338a695f8e for the original.

## Reference materials#

See Category:Categories in category theory for a list of example categories, or Category (mathematics) - Examples. See also:

## Suggested workflow#

### Starting a chapter#

Donât run into the same issue someone else already struggled with; use the errata in Seven-Sketches suggestions. At the start of every chapter, copy the chapterâs comments to a new Google Doc (for an example, see Review âSeven-Sketches suggestionsâ). As you read errors/suggestions in your copy of the errata, strikethrough entries that youâve read and documented in this review (Ctrl-Alt-Shift-5 in Google Docs).

For simple issues (e.g. typos) fix the problem in the tex source of the PDF and submit a patch to applied-category-theory / seven-sketches Â· GitLab. You donât want to read these over and over. However, you also donât want to make major changes that significantly affect e.g. page numbers you may have naturally memorized or affect the map between your commentary and the commentary of others. Highlight these green until theyâre on the main branch.

You could also just delete the comments in Review âSeven-Sketches suggestionsâ, but on the off chance that you want to bring in new errors that others bring up later this allows for it. That is, maintain a monotone map from one Google document to the other that labels errata youâve addressed as processed.

Iâm also effectively maintaining a monotone map from the PDF to these html notes through chapter/section numbering, etc. You really have to take this approach with any read-only material that you need to edit: everything must be an annotation. In this case, neither the original PDF nor Seven-Sketches suggestions are completely read-only, but we donât want to heavily edit either. You also donât want to look for annotations in two places (in other readerâs commentary and your own) so you move their commentary to your own. As is the case for many issues in Seven-Sketches suggestions, you may not even want to pull in all other commentary.

Commentary in the errata that didnât bother you, didnât seem to be worth copying, or that you didnât understand and therefore ignored, can be highlighted light blue (not light cornflower blue). Commentary that you havenât decided what to do with can remain black with a strikethrough.

Arrows sometimes appear to be missing in zathura; see e.g. Equation 1.5 and Example 4.11. The solution is to zoom in more. The disadvantage to being zoomed in more is that you lose more context, and when you click on links in the PDF part of the dual pages are cut off.
The advantage to reading the PDF is that you can follow links (a jump in zathura) to different parts of the PDF, and you can search for text (PNGs are not searchable). The advantage to reading directly from Jupyter Book is the additional commentary, including additional links to the web.
To tweak e.g. setlrmargins, see:
To convert content to PNG see How to make a color transparent in GIMP (use Ctrl-o with mnemonic color) and How do I use the Selection tool to move things in GIMP? (use R, Ctrl-Shift-L with mnemonic float/lift, and Ctrl-h with mnemonic anchor).