LOGIC in computer science / ed. by Ognjanoviс Z. - Beograd: Matematiecki institut SANU, 2009. - 215 s.: graf. prikazi. - (Zbornik radova; knj. 12). - ISBN 978-86-80593-40-1  Место хранения:   013 | Институт математики СО РАН | Новосибирск | Библиотека

Contents

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