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