摘要
许可证
历史
2020年7月10日 添加了关于笛卡尔单体范畴的新材料。 (修订版06640f317a79) 2020年2月15日 外观改进。 (修订版a51840d36867)
2018年5月29日 由于“类别3”更改,需要进行修改。 引入了“in hom”的符号。 (修订8318366d4575)
2017年5月18日 将单科类别/类别3适配器中的材料集成到类别3/和删除的适配器中。 (版本015543cd069)