Errata for CT2, Steve Awodey, 4/2011 p. 8, l. -8: remove extra vertical space following the displayed "It's the arrows ...". Summary: Errata for CT2, Steve Awodey, 4/2011 Chapter 1: p. 8, l. -8: remove extra vertical space following the displayed "It's the arrows ...". p. 21, l. 10: remove the stray apostrophe after "We". Chapter 3: p. 58, l. -2: change "A + B \rightarrow C" to " \varphi\vee\psi\rightarrow\vartheta " p. 62, l. 12: change "diagram" to "following diagram." (with full stop) p. 66, l. -10: insert "an" to read "dual to that of an equalizer, ..." Chapter 4: p. 80, l. 8: insert "on one object" to read: ... this example is in fact the "free monoidal category on one object." p. 88, last line: Insert a further exercise: 9. Verify that the category $\mathbf{Ord}_\mathrm{fin}$ is indeed the free monoidal category on one object. Chapter 5: p. 91, l. 2: in the displayed diagram, remove the prime sign ' from the M on the right and add a prime sign to the M on the left. p. 91, l. 4: in the displayed formula, remove the prime sign ' from the M. p. 91, l. 5: delete the words "with f ". p. 92, bottom most diagram: something is wrong with the label on the middle diagonal arrow. It should be " \langle z_1 , z_2 \rangle ". p. 97, l. 6: in the displayed formula, change "X" to "\alpha" all 3 times, while preserving the subscript position throughout, and the prime sign on the second occurrence. p. 99, l. 9: following $x$ insert "over $A$" to read: "... term $f$ for the variable $x$ over $A$ in a propositional function ..." Collections: Mathematics