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


This is www.PaulTaylor.EU/Practical-Foundations/errata2.html and it was derived from prafm/errata2.tex which was last modified on 30 May 2008.