Relatively terminal coalgebras (Q456862): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
The authors explore terminal coalgebras independently studied by Dana Scott and Jan Rutten. According to the authors, Scott's approach is based on limit construction whereas Rutten's approach is based on behaviours of states in the concerned systems. The authors demonstrate that Scott's study is a special case of the concept called coalgebra relatively terminal with respect to a given algebra. The authors' development of the paper is a testimony to the organizing power of analyzing various concepts to a universal state. | |||
Property / review text: The authors explore terminal coalgebras independently studied by Dana Scott and Jan Rutten. According to the authors, Scott's approach is based on limit construction whereas Rutten's approach is based on behaviours of states in the concerned systems. The authors demonstrate that Scott's study is a special case of the concept called coalgebra relatively terminal with respect to a given algebra. The authors' development of the paper is a testimony to the organizing power of analyzing various concepts to a universal state. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Akrur Behera / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 08A70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A99 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6094149 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
terminal coalgebras of accessible functors | |||
Property / zbMATH Keywords: terminal coalgebras of accessible functors / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
enriched categories | |||
Property / zbMATH Keywords: enriched categories / rank | |||
Normal rank |
Revision as of 12:50, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relatively terminal coalgebras |
scientific article |
Statements
Relatively terminal coalgebras (English)
0 references
16 October 2012
0 references
The authors explore terminal coalgebras independently studied by Dana Scott and Jan Rutten. According to the authors, Scott's approach is based on limit construction whereas Rutten's approach is based on behaviours of states in the concerned systems. The authors demonstrate that Scott's study is a special case of the concept called coalgebra relatively terminal with respect to a given algebra. The authors' development of the paper is a testimony to the organizing power of analyzing various concepts to a universal state.
0 references
terminal coalgebras of accessible functors
0 references
enriched categories
0 references