Coalgebras in a category of algebras

[1]  F. W. Lawvere,et al.  FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963, Proceedings of the National Academy of Sciences of the United States of America.

[2]  Applied functorial semantics, II , 1970 .