Products of coalgebras. (Q1771866): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 05:37, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Products of coalgebras. |
scientific article |
Statements
Products of coalgebras. (English)
0 references
19 April 2005
0 references
The authors study the category of \(F\)-coalgebras. They show that products and equalizers in this category exist provided that the type function \(F\) is bounded or preserves mono sources. They describe the relationship between the product \(A\times B\) and the largest bisimulation between \(A\) and \(B\) such that \(A \times B\) is infinite or empty.
0 references
coalgebra
0 references
bisimulation
0 references
product
0 references
mono sources
0 references