quiver

一个简洁的交换图编辑器, 用于编辑范畴论中的交换图表. 具有高效、直观的界面, 可用于创建复杂的交换图和粘贴图.