Products of coalgebras. (Q1771866)
From MaRDI portal
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
