克里斯托弗·汤森。 使用幂域monad表示几何态射。 （英语） Zbl 1281.06008号 申请。类别。结构。 21，第1期，15-47页（2013年）. 摘要：研究表明，基本拓扑之间的几何形态可以表示为相应地区类别之间的附加词。附加词的特点是保持顺序充实，与双幂区域单子交换，其右伴随词保持有限余积。它们还被描述为那些保持秩序丰富性并与低权力和高权力场所单子交换的附加词。 引用于1文件 MSC公司： 2012年2月6日 框架、区域设置 18对25 托波伊 03G30型 分类逻辑，拓扑 关键词：地形;几何态射;电力现场;单子 PDF格式BibTeX公司 XML格式引用 \textit{C.F.Townsend}，应用。类别。结构。21、1号、15--47（2013；Zbl 1281.06008） 全文： 内政部 arXiv公司 参考文献： [1] 约翰斯通，P.T.：《大象素描：地形理论概要》，第卷。1, 2. 牛津大学。日志。指南，卷。43, 44. 牛津科学出版物（2002） [2] Johnstone，P.T.，Vickers，S.J.：存在帧前演示。收录于：Carboni，P.，Rosolini（编辑）《范畴理论——程序集》，Como，第193-212页（1990年）。施普林格数学讲义，1488（1991）·兹比尔0764.18004 [3] Joyal，A.，Tierney，M.：《格罗森迪克伽罗瓦理论的延伸》，第309卷。美国数学学会回忆录（1984）·Zbl 0541.18002号 [4] Plewe，T.：局部三商映射是有效的下降映射。数学。程序。外倾角。菲洛斯。Soc.122，17-43（1997年）·Zbl 0878.54005号 ·doi:10.1017/S0305004196001648 [5] Pumplun，D.：Eine Bemerkungüber Monaden und adjungeerte Funktoren。数学。Ann.185、329–337（1970）·doi:10.1007/BF01349956 [6] 斯特里特：单子叶的形式理论。J.纯应用。代数2，149–168（1972）·Zbl 0241.18003号 ·doi:10.1016/0022-4049（72）90019-9 [7] Townsend，C.F.：通过定向完全部分订单进行本地撤回。西奥。公司。科学。316, 225–258 (2004) ·Zbl 1048.18003号 ·doi:10.1016/j.tcs.2004.01.032 [8] 汤森，C.F.：霍夫曼-米斯洛夫定理的分类说明。数学。程序。外倾角。菲洛斯。Soc.139、441–456（2005）·Zbl 1104.06008号 ·文件编号：10.1017/S0305004105008844 [9] Townsend，C.F.：弱局部三商赋值的公理解释。J.纯应用。《代数》214（6），729–739（2010）·Zbl 1274.18010号 ·doi:10.1016/j.jpaa.2009.07.005 [10] 汤森，C.F.：几何态射的表示定理。申请。类别。结构。18(6), 573–583 (2010) ·Zbl 1207.18005号 ·doi:10.1007/s10485-009-9187-2 [11] Vickers，S.J.：《1994年理论与形式方法》中的局部语言并非毫无意义。第二帝国学院计算机系理论与形式方法研讨会，剑桥，1994年，199-216页。伦敦大学出版社（1995） [12] Vickers，S.J.：双幂函数和幂函数：几何逻辑中的一个案例研究。理论应用。类别。12, 372-442 (2004) ·Zbl 1061.06026号 [13] Vickers，S.J.，Townsend，C.F.：双重权力场所的普遍特征。西奥。公司。科学。316297–321（2004年）·Zbl 1047.06006号 ·doi:10.1016/j.tcs.2004.01.034 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。