Products of coalgebras. (Q1771866)

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.