Johnstone, P.; Power, J.; Tsujishita, T.; Watanabe, H.; Worrell, J. On the structure of categories of coalgebras. (English) Zbl 0973.68178 Theor. Comput. Sci. 260, No. 1-2, 87-117 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Johnstone} et al., Theor. Comput. Sci. 260, No. 1--2, 87--117 (2001; Zbl 0973.68178) Full Text: DOI
Johnstone, Peter; Power, John; Tsujishita, Toru; Watanabe, Hiroshi; Worrell, James An axiomatics for categories of transition systems as coalgebras. (English) Zbl 0945.18500 Thirteenth annual IEEE symposium on Logic in computer science. Held in Indianapolis, IN, USA, June 21-24, 1998. Los Alamitos, CA: IEEE Computer Society. 207-213 (1998). MSC: 18B20 68Q85 PDFBibTeX XMLCite \textit{P. Johnstone} et al., in: Thirteenth annual IEEE symposium on logic in computer science. Held in Indianapolis, IN, USA, June 21--24, 1998. Los Alamitos, CA: IEEE Computer Society. 207--213 (1998; Zbl 0945.18500)