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 |