Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
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 ..."

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics