Coalgebra-to-algebra morphisms

Electronic Notes in Theoretical Computer Science

Volumn 29, Issue , 1999, Pages 42-49

  Eppendahl, A ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; FUNCTIONS; MATHEMATICAL MODELS; OPTIMIZATION; SET THEORY; THEOREM PROVING;

ADJUNCTIONS; COALGEBRA; ENDOFUNCTORS; PROFUNCTORS;

ALGEBRA;

EID: 0004020786     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80305-6     Document Type: Conference Paper

References (7)

1. Borceux Francis. Handbook of Categorical Algebra l: Basic Category theory. 1994;345 Cambridge University Press
2. Peter Freyd. Algebraically complete categories, volume 1488 of Lecture Notes in Mathematics, pages 95 - 104. Springer-Verlag, 1991. Proceedings of the International Conference held in Como, Italy, July 22 - 28, 1990.
3. Freyd Peter. Remarks on algebraically compact categories. volume 177 of the London Mathematical Society Lecture Note Series. 1992;95-118 Cambridge
4. Hermida Claudio, Jacobs Bart. Structural induction and coinduction in a fibrational setting. Information and. Computation:1998;107-152
5. Lambek Joachim. A fixpoint theorem for complete categories. Mathematische Zeitschrift. 103:1968;151-161
6. Saunders Mac Lane. Categories for the Working Mathematician. 1971;Springer-Verlag
7. Taylor Paul. Practical Foundations of Mathematics. Number 59 in Cambridge Studies in Advanced Mathematics. 1999