拉尔夫·欣泽;丹·马斯登 用棒棒糖、叉子、杯子、帽子、蛇和速度计进行等式推理。 （英语） Zbl 1375.18027号 J.日志。阿尔盖布。方法计划。 85，第5号，第2部分，931-951（2016）. 概要：基本范畴理论中的证明通常涉及交换图的粘贴或使用等式链的计算推理。这些风格中的大部分工作都可以通过涉及功能性、自然性和身份处理的琐碎管理步骤来完成。另一种方法是，我们提倡使用字符串图，这是一种二维形式的符号，它无声地处理这些分散注意力的记账步骤。虽然最初是为了推理函子和自然变换而开发的，但我们表明字符串图也可以很容易地容纳对象和箭头。在整篇文章中，我们强调了如何利用符号中固有的拓扑自由度来帮助在证明的发展中使用几何直觉。事实上，绘制字符串图是一门艺术：良好的图表选择可以带来所有的不同。 引用于4文件 MSC公司： 18个C20 单体的Eilenberg-Moore和Kleisli构造 关键词：字符串图;计算证明;范畴理论;附加;恢复单子 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze}和\textit{D.Marsden}，J.Log。阿尔盖布。方法计划。85，第5号，第2部分，931--951（2016；Zbl 1375.18027） 全文： 内政部 参考文献： [1] Backhouse，R.，为我们EATCS Bull.提供正式服务。，38219-249（1989年6月）·Zbl 0681.68011号 [2] Beck，J.，《分配定律》（Appelgate，H.；Barr，M.；Beck，J；Lawvere，F.W.；Linton，F.；Manes，E.；Tierney，M.，Ulmer，F.，《三元组与范畴同伦理论研讨会》，《数学讲义》，第80卷（1969年），Springer），119-140·Zbl 0186.02902号 [3] Cenciarelli，P。；Moggi，E.，指称语义学中模块化的句法方法，（范畴理论和计算机科学（1993），荷兰：荷兰阿姆斯特丹） [4] Fokkinga，M.M。；Meertens，L.，Adjunctions（1994年6月），特温特大学：荷兰特温特恩舍德大学，技术代表备忘录Inf 94-31 [5] Huber，P.J.，《一般范畴中的同伦理论》，数学。《年鉴》，144361-385（1961）·Zbl 0099.17905号 [6] Kan，D.M.，伴随函子，Trans。美国数学。Soc.，87,2294-329（1958年）·Zbl 0090.38906号 [7] Mac Lane，S.，《工作数学家的类别》，《数学研究生教材》（1998年），施普林格-弗拉格：柏林施普林格·Zbl 0906.18001号 [8] Penrose，R.，《负维张量的应用》，（Welsh，D.，数学研究所会议记录。1969年7月7日至10日，数学研究院会议记录。数学研究所会议记录。1969年7月7日至10日在数学研究所举行的会议记录，组合数学及其应用（1971），学术出版社：牛津大学学术出版社，221-244 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。