Ultraproducts and continuous families of models.
Date
1995
Authors
Marmolejo, Francisco.
Journal Title
Journal ISSN
Volume Title
Publisher
Dalhousie University
Abstract
Description
Let P be a small pretopos. Makkai showed that the pretopos (i.e. the language) can be recovered from the category of models of the pretopos (i.e. Set-valued functors preserving the pretopos structure). The realization that ultraproduct functors can be expressed as composition of functors on categories of sheaves over topological spaces opens the door for using continuous families of models, that is, categories indexed topological spaces.
We introduce a special kind of category indexed over topological spaces in which it is possible to define ultraproduct functors. This involves continuous functions $f:Y\to X$ for which the functors $f\sb{*}:Sh(Y)\to Sh(X)$ preserve the pretopos structure. We give a characterization of such functions. Each of these indexed categories produces a pre-ultracategory in the sense of Makkai.
We also consider the 2-adjunction $PRETOP\sp{op}\sbsp{Mod\sp{(\sb-)}}{Set\sp{(\sb-)}}CAT$ and the 2-monad it generates. We show that each algebra for this 2-monad carries a pre-ultracategory structure as well. We induce another 2-monad over the category of algebras and show that these new algebras carry the structure of ultracategories.
We combine both approaches by defining a 2-adjunction over the 2-category of special indexed categories mentioned above and show that the corresponding algebras also carry ultracategory structures.
Finally, aiming at giving filtered colimits a bigger role in the picture we generalize a theorem of Lever, namely, that indexed functors from the indexed category that has the category of sheaves $Sh(X)$ over the topological space X, to itself is equivalent to the category of filtered colimit preserving functors from Set to itself.
Thesis (Ph.D.)--Dalhousie University (Canada), 1995.
We introduce a special kind of category indexed over topological spaces in which it is possible to define ultraproduct functors. This involves continuous functions $f:Y\to X$ for which the functors $f\sb{*}:Sh(Y)\to Sh(X)$ preserve the pretopos structure. We give a characterization of such functions. Each of these indexed categories produces a pre-ultracategory in the sense of Makkai.
We also consider the 2-adjunction $PRETOP\sp{op}\sbsp{Mod\sp{(\sb-)}}{Set\sp{(\sb-)}}CAT$ and the 2-monad it generates. We show that each algebra for this 2-monad carries a pre-ultracategory structure as well. We induce another 2-monad over the category of algebras and show that these new algebras carry the structure of ultracategories.
We combine both approaches by defining a 2-adjunction over the 2-category of special indexed categories mentioned above and show that the corresponding algebras also carry ultracategory structures.
Finally, aiming at giving filtered colimits a bigger role in the picture we generalize a theorem of Lever, namely, that indexed functors from the indexed category that has the category of sheaves $Sh(X)$ over the topological space X, to itself is equivalent to the category of filtered colimit preserving functors from Set to itself.
Thesis (Ph.D.)--Dalhousie University (Canada), 1995.
Keywords
Mathematics.