×

将\(p\)-adic整数作为最终的余代数。 (英语) Zbl 1465.11230号

Paiva,Valeria(编辑)等人,《逻辑、语言、信息和计算》。第22届国际研讨会,2015年7月20日至23日,美国印第安纳州布卢明顿,WoLLIC。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9160, 189-199 (2015).
摘要:我们将经典的(p)-进位整数(hat{mathbb{Z}}_p)表示为一个度量空间,作为一个内函子的最后余代数。我们实现了对\(\hat{mathbb{Z}}_p\)的加法和乘法,因为余代数映射自\。
有关整个系列,请参见[Zbl 1319.03010号].

MSC公司:

11S85型 其他非分析理论
18A22型 函子的特殊性质(忠实、完全等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Adámek,J.,《自由代数和范畴语言中的自动机实现》,评论。数学。卡罗莱纳大学,14,589-602(1974)·Zbl 0293.18006号
[2] Adámek,J.Milius,S.,Moss,L.S.:初始代数和终端余代数:一项调查(进行中的工作)·Zbl 1328.18004号
[3] Barr,M.,《建立良好的集合论中的终端余代数》,Theret。计算。科学。,144, 299-314 (1993) ·Zbl 0779.18004号 ·doi:10.1016/0304-3975(93)90076-6
[4] Cuoco,AA,可视化\(p\)-二进整数,Amer。数学。月刊,98,4,355-364(1991)·Zbl 0748.11059号 ·doi:10.2307/2323809
[5] Leinster,L.,《自相似空间的一般理论》,高等数学。,226, 4, 2935-3017 (2011) ·Zbl 1214.03049号 ·doi:10.1016/j.aim.2010.10.009
[6] Rutten,JJMM,《宇宙余代数:系统理论》。现代代数及其应用,理论。计算。科学。,249, 1, 3-80 (2000) ·Zbl 0951.68038号 ·doi:10.1016/S0304-3975(00)00056-6
[7] Serre,J.P.:算术课程。数学研究生教材,第7卷,viii+115 p.Springer,纽约(1973)·Zbl 0256.12001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。