|
关注：1
2013-05-23 12:21
求翻译：an algebraic theory is identified as a category of a particular kind, an interpretation of one theory in another as a functor between them, and a model of such a theory as a functor on it to the category of sets.是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
an algebraic theory is identified as a category of a particular kind, an interpretation of one theory in another as a functor between them, and a model of such a theory as a functor on it to the category of sets.
问题补充： |
|
2013-05-23 12:21:38
代数理论被确定为一类一类特定的，一种理论的另一个解释是它们之间的函子，而这样的理论作为其一个仿函数的集合类的一个典范。
|
|
2013-05-23 12:23:18
一种代数理论被辨认作为一个特殊的种类的类别，一种理论的解释在别的作为在他们之间的一functor和这样理论模型象对此的一functor对集合类别。
|
|
2013-05-23 12:24:58
正在翻译，请等待...
|
|
2013-05-23 12:26:38
代数理论被标识为一个类别的特定类型，一种理论在他们，和理论模型的这种作为一个仿函数对它的设置类别之间的一个仿函数作为另一种解读。
|
|
2013-05-23 12:28:18
一个代数理论被确定为一个类别的一种特定类型,这种解释的一种理论,另一个是它们之间的functor,和一个示范的这种理论作为一个functor,以类别的设置。
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
