## A list of typos/mistakes that were fixed after the initial printed book release.

### Preface

- [#155](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/155) - Typo
  (physicist -> physicists)

### 6. Simple Algebraic Data Types

- [#176](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/176) - Typo
  (statements -> statement)

### 8. Functoriality

- [9a3a5a3](https://github.com/hmemcpy/milewski-ctfp-pdf/commit/9a3a5a386e98ef8f926bccd08f572cc19b1a6367) -
  added clarifications on bifunctoriality vs. separate functoriality (fix by
  Bartosz)

### 9. Function Types

- [#182](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/182) - Fix typo
  (chose -> choose)

### 10. Natural Transformations

- [#157](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/157) - Adding
  paragraph indent

### 12. Limits and Colimits

- [#162](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/162) - Fix
  grammatical error

### 14. Representable Functors

- [#162](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/162) - Fix
  grammatical error

### 18. Adjunctions

- [#160](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/160) - Fix spelling
  of "counit"

### 19. Free/Forgetful Adjunctions

- [#156](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/156) - an instance of
  the category name **Mon** is appearing as **arg**
- [#160](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/160) - Fix spelling
  of "isomorphism"

### 20. Monads - Programmer's Definition

- [#160](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/160) - Fix
  grammatical error
- [#162](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/162) - Fix
  grammatical error

### 22. Monads Categorically

- [#162](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/162) - Fix
  grammatical error

### 23. Comonads

- [#158](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/158) - fixed
  incorrect typesetting of `set`
- [23f522e](https://github.com/hmemcpy/milewski-ctfp-pdf/commit/23f522ec083c2c98f28f15935ff2893ccd1fa76c) -
  adjusted `Prod`/`Product` names (fix by Bartosz)

### 25. Algebras for Monads

- [#158](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/158) - fixed
  incorrect typesetting of `set`
- [#159](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/159) - fixed
  incorrect typesetting of category terms
- [#160](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/160) - Fix spelling
  of "counit" and "morphisms", fix subscript spacing
- [#162](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/162) - Fix
  grammatical errors

### 26. Ends and Coends

- [#159](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/159) - fixed
  incorrect typesetting of category terms
- [#160](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/160) - Fix spelling
  of "coequalizer", fix subscript spacing

### 27. Kan Extensions

- [#160](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/160) - Fix subscript
  spacing
- [31821e5](https://github.com/hmemcpy/milewski-ctfp-pdf/commit/31821e5ded0dacf059e1fcb985be406e8a495107) -
  postcomposition -> precomposition (fix by Bartosz)

### 28. Enriched Categories

- [#160](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/160) - Fix subscript
  spacing
- [#162](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/162) - Fix
  grammatical error

### 29. Topoi

- [#162](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/162) - Fix
  grammatical error

### 30. Lawvere Theories

- [#160](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/160) - Fix spelling
  of "coequalizer"
- [#162](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/162) - Fix
  grammatical errors and a typesetting error