Products of coalgebras |
| |
Authors: | H. Peter Gumm Tobias Schröder |
| |
Affiliation: | Philipps-Universit?t Marburg, 35032 Marburg, Germany, e-mail: gumm@mathematik.uni-marburg.de, and tschroed@mathematik.uni-marburg.de, DE
|
| |
Abstract: | 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 and the largest bisimulation between and and find an example of two finite coalgebras whose product is infinite. Received January 11, 2000; accepted in final form October 16, 2000. |
| |
Keywords: | and phrases: Coalgebra bisimulation product mono source. |
本文献已被 SpringerLink 等数据库收录! |
|