Table of Contents Author Guidelines Submit a Manuscript
International Journal of Mathematics and Mathematical Sciences
Volume 2006, Article ID 56786, 9 pages
http://dx.doi.org/10.1155/IJMMS/2006/56786

A simplification functor for coalgebras

Laboratory of Algebra, Department of Mathematics, Faculty of Science, University of Yaounde 1, P.O. Box 812, Yaounde, Cameroon

Received 22 July 2005; Revised 21 June 2006; Accepted 5 July 2006

Copyright © 2006 Hindawi Publishing Corporation. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. P. Aczel and N. Mendler, “A final coalgebra theorem,” in Category Theory and Computer Science (Manchester, 1989), D. H. Pitt, D. E. Rydeheard, P. Dybjer, A. M. Pitts, and A. Poigné, Eds., vol. 389 of Lecture Notes in Computer Science, pp. 357–365, Springer, Berlin, 1989. View at Google Scholar · View at MathSciNet
  2. M. Barr, “Terminal coalgebras in well-founded set theory,” Theoretical Computer Science, vol. 114, no. 2, pp. 299–315, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  3. H. P. Gumm, “Elements of the general theory of coalgebras,” in Logic, Universal Algebra, and Theoretical Computer Science (LUATCS '99), Rand Africaans University, Johannesburg, January 1999. View at Google Scholar
  4. H. P. Gumm and T. Schröder, “Coalgebraic structure from weak limit preserving functors,” in CMCS'2000: Coalgebraic Methods in Computer Science (Berlin), vol. 33 of Electronic Notes in Theoretical Computer Science, p. 21, Elsevier, Amsterdam, 2000. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. H. P. Gumm and T. Schröder, “Products of coalgebras,” Algebra Universalis, vol. 46, no. 1-2, pp. 163–185, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  6. Y. Kawahara and M. Mori, “A small final coalgebra theorem,” Theoretical Computer Science, vol. 233, no. 1-2, pp. 129–145, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. J. J. M. M. Rutten, “Universal coalgebra: a theory of systems,” Tech. Rep. CS-R9652, Centrum voor Wiskunde en Informatica, Amsterdam, 1996. View at Google Scholar
  8. J. J. M. M. Rutten, “Universal coalgebra: a theory of systems,” Theoretical Computer Science, vol. 249, no. 1, pp. 3–80, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. H. Schubert, Categories, Springer, New York, 1972. View at Zentralblatt MATH · View at MathSciNet