TABLE OF CONTENTS
Abstract vi
Introduction vii
1. Beth's theorem for propositional logic 1
2. Factorizations in 2-categories 8
3. Definable functors 19
4. Basic notions for duality 25
5. The Stone-type adjunction for Boolean pretoposes
and ultragroupoids 35
6. The syntax of special ultramorphisms 41
7. The semantics of special ultramorphisms 55
8. The duality theorem 64
9. Preparing a functor specification 72
*
10. Lifting Zawadowski's argument to ultra morphisms 84
11. The operations in FP and UG 91
12. Conclusion 96
References 105
v
Previous Page Next Page