Winter 2007 QG Seminar Errata
John Baez
Here's a list of errors we've found in the Winter 2007 Quantum
Gravity Seminar notes.
If you discover any more errors, please let me know, and
we'll eventually try to correct them, or at least add them to
this list.
Quantization and Cohomology
Classical versus Quantum Computation

Week 14  In the λtheory
for commutative rings we really need to include negation
(or subtraction) as an operation, since the typed λcalculus
is not expressive enough to say there exists an additive
inverse for each element.
baez@math.removethis.ucr.andthis.edu
© 2007 John Baez and Derek Wise