A survey on the categorical term construction with applications
| Autor: | Ulrich Höhle, Patrik Eklund, Jari Kortelainen |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Logic
Complete category Algebraic structure 010102 general mathematics Categorical logic Concrete category Symmetric monoidal category 02 engineering and technology 01 natural sciences Term algebra Algebra Closed category Artificial Intelligence Mathematics::Category Theory 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 0101 mathematics Enriched category Mathematics |
| Zdroj: | Fuzzy Sets and Systems. 298:128-157 |
| ISSN: | 0165-0114 |
| DOI: | 10.1016/j.fss.2015.07.003 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect