Products of coalgebras. (Q1771866)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Products of coalgebras. |
scientific article; zbMATH DE number 2158738
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Products of coalgebras. |
scientific article; zbMATH DE number 2158738 |
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
