Errata to Practical Foundations of Mathematics

Paul Taylor

19 August 2000

First, I apologise to Heinrich Kleisli, Dito Pataraia, Maria Cristina Pedicchio, Dietmar Schumacher and V. Zöberlein for my mistakes in their names on pages 179, 403, 533, 540, 563, 566 and 572.

Introduction

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

Bibliography

This is www.PaulTaylor.EU/Practical-Foundations/errata.html and it was derived from prafm/errata.tex which was last modified on 22 July 2007.