Coinductive predicates and final sequences in a fibration (Q265811): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q65 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B70 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03G30 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q85 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6567561 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
coalgebra | |||
| Property / zbMATH Keywords: coalgebra / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
(co)recursive predicate | |||
| Property / zbMATH Keywords: (co)recursive predicate / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
modal logic | |||
| Property / zbMATH Keywords: modal logic / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
fibration | |||
| Property / zbMATH Keywords: fibration / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
locally presentable category | |||
| Property / zbMATH Keywords: locally presentable category / rank | |||
Normal rank | |||
Revision as of 14:25, 27 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coinductive predicates and final sequences in a fibration |
scientific article |
Statements
Coinductive predicates and final sequences in a fibration (English)
0 references
12 April 2016
0 references
coalgebra
0 references
(co)recursive predicate
0 references
modal logic
0 references
fibration
0 references
locally presentable category
0 references
