A More Categorical Model of Universal Algebra
A More Categorical Model of Universal Algebra
复制标题
泛代数的更分类模型
DOI：
10.1007/3-540-08442-8_98
复制
发表时间：
1977
期刊：
影响因子：
--
通讯作者：
J. Reiterman
中科院分区：
文献类型：
--
作者：
J. Reiterman
2.2.文[1]证明了：如果链X--+X_1是某个I的同构，则X_i是K(F)中X上自由代数的基础对象。然而，收敛并不是自由代数存在的必要条件。
2.2. It is proved in [i] that, if the chain converges in the sense that Xi--+ Xi÷ 1 is an isomorphism for some i, X i is the underlying object of a free algebra over X in K (F). However, the convergence is not necessary for the existence of a free algebra.