首页> 外文期刊>Fuzzy sets and systems >A survey on the categorical term construction with applications
【24h】

A survey on the categorical term construction with applications

机译:类别术语构造及其应用的调查

获取原文
获取原文并翻译 | 示例
           

摘要

This paper gives a survey on the categorical term construction based on the free algebra algorithm. In the framework of monoidal biclosed and cocomplete categories a possible concept of signature for finitary theories is introduced. Applications of these constructions are given in Goguen's category and in the category of complete lattices and join preserving maps. (c) 2015 Elsevier B.V. All rights reserved.
机译:本文对基于自由代数算法的分类词构造进行了研究。在单半双闭和共完成类别的框架中,引入了可能的有限理论签名概念。这些构造的应用在Goguen的类别,完整点阵和连接保留图的类别中给出。 (c)2015 Elsevier B.V.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号