Errata to Practical Foundations of Mathematics

Paul Taylor

22 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