%0 Journal Article
%T Some Aspects About Coalgebras In Mathematical Theory Of Programming
%A Viliam Slodi£¿¨¢k
%A Valerie Novitzk¨¢
%J Journal of Computer Science and Control Systems
%D 2009
%I Editura Universit??ii din Oradea
%X 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.
%K coalgebra
%K comonad
%K topos
%K Kleisli category
%K program behavior
%U http://electroinf.uoradea.ro/reviste%20CSCS/documente/JCSCS_2009/Articole_pdf_JCSCS_C_nr_2/JCSCS_2009_Nr_2_CS_Slodicak_Some.pdf