Representing Geometric Morphisms Using Power Locale Monads
نویسندگان
چکیده
منابع مشابه
Representing Geometric Morphisms Using Power Locale Monads
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with the double power locale monad and whose right adjoints preserve finite coproduct. They are also characterised as those adjunctions that preserve the order e...
متن کاملDense Morphisms of Monads
Given an arbitrary locally finitely presentable category K and finitary monads T and S on K , we characterize monad morphisms α : S −→ T with the property that the induced functor α∗ : K T −→ K S between the categories of Eilenberg-Moore algebras is fully faithful. We call such monad morphisms dense and give a characterization of them in the spirit of Beth’s definability theorem: α is a dense m...
متن کاملGeometric Morphisms of Realizability Toposes
We show that every geometric morphism between realizability toposes satisfies the condition that its inverse image commutes with the ‘constant object’ functors, which was assumed by John Longley in his pioneering study of such morphisms. We also provide the answer to something which was stated as an open problem on Jaap van Oosten’s book on realizability toposes: if a subtopos of a realizabilit...
متن کاملA Representation Theorem for Geometric Morphisms
It it shown that geometric morphisms between elementary toposes can be represented as certain adjunctions between the corresponding categories of locales. These adjunctions are characterized by (i) they preserve the order enrichment and the Sierpiński locale, and (ii) they satisfy Frobenius reciprocity.
متن کاملRelative Category Theory and Geometric Morphisms
Several logics, and types of logic, fit ill into the general framework—for example, linear logic, or relevance logic. The latter is briefly discussed in Chapter 9; Cleave dismisses the large body of work which has accumulated over the past thirty or more years, and develops his own notion of relevance, based on ' rigid formulae', those lacking 'irrelevant' subformulae, parts whose deletion (or ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2011
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-011-9258-z