Results 1 
2 of
2
Elements Of The General Theory Of Coalgebras
, 1999
"... . Data Structures arising in programming are conveniently modeled by universal algebras. State based and object oriented systems may be described in the same way, but this requires that the state is explicitly modeled as a sort. From the viewpoint of the programmer, however, it is usually intend ..."
Abstract

Cited by 30 (7 self)
 Add to MetaCart
. Data Structures arising in programming are conveniently modeled by universal algebras. State based and object oriented systems may be described in the same way, but this requires that the state is explicitly modeled as a sort. From the viewpoint of the programmer, however, it is usually intended that the state should be "hidden" with only certain features accessible through attributes and methods. States should become equal, if no external observation may distinguish them. It has recently been discovered that state based systems such as transition systems, automata, lazy data structures and objects give rise to structures dual to universal algebra, which are called coalgebras. Equality is replaced by indistinguishability and coinduction replaces induction as proof principle. However, as it turns out, one has to look at universal algebra from a more general perspective (using elementary category theoretic notions) before the dual concept is able to capture the relevant ...
5. Bisimulations andsimulations 33
"... 8.3. Weakpullbacks and their preservation 53 8.4. Preservation theorems 55 ..."
Abstract
 Add to MetaCart
8.3. Weakpullbacks and their preservation 53 8.4. Preservation theorems 55