摘要：对于一个任意的在一个完备范畴上的内自然函子，我们使用自然变换的对来定义代数的多个种类。通过等式箭头定义的等式类方法被证明与此方法等价。研究并证明了在这些种类中的自由代数的存在性，前提是满足可接近性的假设。
作者：Jan Pavl\'ik
论文ID：0904.1678
分类：Category Theory
分类简称：math.CT
提交时间：2009-04-13
PDF 下载： 英文版 中文版pdf翻译中