Some Aspects About Coalgebras In Mathematical Theory Of Programming

Behavior of running program can be described by evaluating a coalgebraic structure over a collection of algebraic terms on state space. Coalgebras are defined by polynomial endofunctors. We formulate substantiation of coalgebras in categories. We use approach via Kleisli categories together with monads beside the approach via topoi and comonads as dual structures to monads.