关于 category-theory 的中文软件包

从已经完成翻译的文档出发，找到解决问题的新思路。