A survey on the categorical term construction with applications

被引：2

作者：

Eklund, Patrik ^{[1
]}

Hohle, Ulrich ^{[2
]}

Kortelainen, Jari ^{[3
]}

机构：

[1] Umea Univ, Dept Comp Sci, Umea, Sweden

[2] Berg Univ Wuppertal, Fachbereich Math & Nat Wissensch C, Wuppertal, Germany

[3] Mikkeli Univ Appl Sci, Dept Elect Engn & Informat Technol, Mikkeli, Finland

来源：

FUZZY SETS AND SYSTEMS | 2016年 / 298卷

关键词：

Functor algebras; Term monads; Quantale; Algebra; Category theory;

D O I：

10.1016/j.fss.2015.07.003

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：128 / 157

页数：30

共 29 条

[1]

Adamek J., 1974, COMMENT MATH U CAROL, V15, P589

[2]

Adamek J., 1990, ABSTRACT CONCRETE CA

[3]

[Anonymous], 2007, Studies in Logic and the Foundations of Mathematics

[4]

[Anonymous], 1984, MEMOIRS AM MATH SOC

[5]

[Anonymous], 1976, GRADUATE TEXTS MATH

[6]

[Anonymous], 1940, J. Symb. Log., DOI DOI 10.2307/2266170

[7]

Banaschewski B., 1976, CAN MATH B, V19, P385, DOI DOI 10.4153/CMB-1976-060-2

[8]

Birkhoff G., 1995, LATTICE THEORY, VXXV

[9]

Borceux F., 1996, HDB CATEGORICAL ALGE

[10]

Burris S., 1981, Graduate Texts in Mathematics

← 1 2 3 →