Additional errata to Practical Foundations of Mathematics

Paul Taylor

19 August 2006

The following corrections should be made to the 2000 reprint, which itself corrected these mistakes.

1  First Order Reasoning

2  Types and Induction

3  Posets and Lattices

4  Cartesian Closed Categories

5  Limits and Colimits

6  Structural Recursion

7  Adjunctions

8  Algebra with Dependent Types

9  The Quantifiers