使用弦图的范畴论 (arxiv.org)

这篇文章探讨了使用弦图来表示范畴论的概念和证明。作者认为，传统的基于等式的范畴论计算方法虽然有很多优点，但在转换为等式推理风格时会牺牲掉有用的类型信息，而传统的图表粘贴证明方法虽然保留了类型信息，但在表达推理过程方面却比较笨拙。弦图作为一种图形化表示方法，能够同时保留类型信息和清晰的推理过程，它能够以拓扑学的视角来解释范畴论的证明，并简洁地处理函子性和自然性条件。作者在文章中使用了大量的示例，系统地应用弦图技术来解释范畴论的各个方面，包括伴随函子、单子、Kan扩展、极限和余极限等。