1. Coherence .................................................... 6
2. Coherence and proof theory ................................... 9
3. Lattice categories .......................................... 13
4. The functor G ............................................... 15
5. Coherence for lattice categories ............................ 17
6. Coherence for sesquicartesian categories .................... 20
7. Restricted coherence for dicartesian categories ............. 23
8. Maximality .................................................. 26
9. Maximality of lattice categories ............................ 28
10.Relative maximality of dicartesian categories ............... 30
References ..................................................... 33
| 
