Factorization of morphisms between Heyting systems

MaRDI QIDQ2994246zbMATH OpenFDO

Authors Guanghao Jiang, Shiyuan Zhan

Publication date 10 August 2016

zbMATH Keywords

H-continuous mappingHeyting algebraHeyting systeminjective-subjective mappingtopological system

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Recommendations

• The injective-subjective function, the subjective-injective function between topological systems
• Heyting system and its H-localification
• scientific article; zbMATH DE number 5595959
• Induced morphisms between Heyting-valued models
• Some properties of epimorphisms of Hilbert algebras

Cited in

(3)

• On factorization systems for surjective quandle homomorphisms
• scientific article; zbMATH DE number 1310565 (Why is no real title available?)
• The injective-subjective function, the subjective-injective function between topological systems

This page was built for publication: Factorization of morphisms between Heyting systems

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