Products of coalgebras

  title={Products of coalgebras},
  author={H. Peter Gumm and Tobias Schr{\"o}der},
We prove that the category of F -coalgebras is complete, that is products and equalizers exist, provided that the type functor F is bounded or preserves mono sources. This generalizes and simplifies a result of Worrell ([Wor98]). We also describe the relationship between the product A × B and the largest bisimulation ∼A,B betweenA andB and find an example of two finite coalgebras whose product is infinite. 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-4 of 4 references

Toposes of Coalgebras and Hidden Algebras

Electr. Notes Theor. Comput. Sci. • 1998

On descriptive classification of set functors I

Vera Trnková
Comm . Math . Univ . Carolinae • 1971

Similar Papers

Loading similar papers…