计算机科学中的Comonads理论

omonads, as the dual concepts of monads, have not be noticed by computer scientists till the past few decades. Comonads can be used to offer a structural description for various context-dependent computations and analyze the operational semantics and intensional semantics of programming languages by incorporating coalgebras. Currently, comonads have been applied in many research fields, i.e. program computations, formal semantics, type theories, modal logics and coalgebras and bialgebras. The recent progress of comonad theory including its categorical defniitions, basic properties, relations with coalgebras, is summarized for raising the attention of the relative researchers.