Coalgebraic Methods: Toward Mathematics of States and Observations
Zhou Xiaocong · World Sci-tech R & D · 2005
Coalgebras, as directly dual to algebras, have received more and more attention since the mid 1990s. Coalgebraic methods investigate the observable behaviors of systems, while algebraic methods study the constructive elements of data types. This paper tries to explore the basic concepts of coalgebraic methods via a simple example and also discusses the perspectives of this area.