Reduced products and strong completeness of regular logic
By analogy with the Makkai duality for first order logic, we develop a duality theory for $ kappa$-exact categories in which the structure on the model categories is that induced by $ kappa$-reduced products. The main theorem, a strong completeness result, states that for any small $ kappa$-exact ca...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1992
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61131 |