彼得·海恩斯（Peter M.Hines）。 模运算中可逆相干运算的恒等式。 （英语） 兹比尔1406.68026 Dueck，Gerhard W.（编辑）等人，《可逆计算》。2013年7月4日至5日，加拿大不列颠哥伦比亚省维多利亚市，第五届国际会议，RC 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38985-6/pbk）。计算机科学课堂讲稿7948，84-95（2013）。 摘要：本文研究了可逆逻辑和计算范畴模型中出现的一些问题。我们的主张是，这些范畴模型的结构（连贯性）同构虽然被普遍忽视，但却具有明显的非平凡计算内容。范畴连贯理论是基于可逆结构操作（规范同构），允许相关但不同的数学结构之间的转换。许多相干定理通常被用来将这些变换视为恒等映射，从这一点起，它们在计算模型中不起作用。我们只是想指出，这样做忽略了一些重要的计算内容。我们给出了一个类别的单一示例（取自一组不可数的无限相似示例，基于可逆逻辑和计算模型中使用的结构），该类别的结构同构操作自然数的模类。我们证明了通常允许我们忽略这些结构同构的相干性质实际上对应于模算术中的非平凡恒等式的可数无限族。此外，在不借助范畴连贯理论的情况下证明这些等式的正确性似乎是一项艰巨的任务。关于整个系列，请参见[Zbl 1277.68008号]. 引用于1文件 理学硕士： 2005年第68季度 计算模型（图灵机等）（MSC2010） 03B70号 计算机科学中的逻辑 03G30型 分类逻辑，拓扑 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Hines}，莱克特。注释计算。科学。7948，84-95（2013；Zbl 1406.68026） 全文： 内政部 arXiv公司