Induced morphisms between Heyting-valued models

Authors José Goudet Alvim, Arthur Francisco Schwerz Cahali, Hugo L. Mariano

Publication date 17 October 2019

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Nonclassical and second-order set theories (03E70) Categorical logic, topoi (03G30) Topoi (18B25) Categories of topological spaces and continuous mappings (18F60)

arXiv classification

math.CT

Abstract: To the best of our knowledge, there are very few results on how Heyting-valued models are affected by the morphisms on the complete Heyting algebras that determine them: the only cases found in the literature are concerning automorphisms of complete Boolean algebras and complete embedding between them (emph{i.e}., injective Boolean algebra homomorphisms that preserves arbitrary suprema and arbitrary infima). In the present work, we consider and explore how more general kinds of morphisms between complete Heyting algebras

m a t h b b H

and

m a t h b b H^{'}

induce arrows between

V^{(m a t h b b H)}

and

V^{(m a t h b b H^{'})}

, and between their corresponding localic toposes

m a t h b f {S e t}^{(m a t h b b H)}

(

s i m e q m a t h b f S h (m a t h b b H)

) and

m a t h b f {S e t}^{(m a t h b b H^{'})}

(

s i m e q m a t h b f S h (m a t h b b H^{'})

). In more details: any {em geometric morphism}

f^{*} : m a t h b f {S e t}^{(m a t h b b H)} o m a t h b f {S e t}^{(m a t h b b H^{'})}

, (that automatically came from a unique locale morphism

f : m a t h b b H o m a t h b b H^{'}

), can be "lifted" to an arrow

i l d e f : V^{(m a t h b b H)} o V^{(m a t h b b H^{'})}

. We also provide also some semantic preservation results concerning this arrow

i l d e f : V^{(m a t h b b H)} o V^{(m a t h b b H^{'})}

.

This page was built for publication: Induced morphisms between Heyting-valued models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6327417)