云彩店邀请码|半壳|优胜
Steven Vikers将拓扑的本领与论理表面的截止相贯串于撰著《Topology via Logic》,创造了拓扑体例,并将这一表面运用于计划机表面的接洽.正文借助于拓扑体例的思维和本领,以及Frame构造和Heyting代数的公有本质,以Heyting代数为主体创造了一种新式的代数体例--Heyting体例,创造了Heyting体例之间的适合的接洽本领--H-贯串映照,给出了Heyting体例的H-空间化与H-Locale化的表白情势并对关系本质举行了计划.正文的处事进一步充分了Heyting代数的接洽本领和拓扑体例的接洽实质.正文的章节构造和简直实质安置如次:第1章 计划常识.本章为全文供给了常识筹备,给出了格,完美格,调配格,Frame, Heyting代数,Heyting代数同态和拓扑体例,拓扑体例空间化以及拓扑体例locale化的基础观念.第2章 Heyting 体例及之间的态射.本章开始借助于拓扑体例的思维和本领,以及Frame构造和Heyting代数的公有本质,以Heyting代数为主体创造了一种新式的代数体例--Heyting体例,其次创造了Heyting体例之间的适合的接洽本领--H-贯串映照,并证明以Heyting体例为东西,以H-贯串映照为态射的体制形成范围. 第3章 Heyting体例的H-空间化表白情势.上一章创造了Heyting体例,本章在此普通上,借助于拓扑体例的思维和本领给出了Heyting体例的H-空间化表白情势并对关系本质举行了计划. 第4章 Heyting体例的H-Locale化情势.本章以Heyting体例为表面普通,借助于拓扑体例的思维和本领给出了Heyting体例的H-Locale化表白情势并对其关系本质举行了计划.本章为上一章的平行章节,进一步充分了Heyting体例的表面.
来源:半壳优胜鲸鱼幸运星转载请保留出处和链接!
本文链接:http://87cpy.com/241707.html
本站部分内容来源网络如有侵权请联系删除