Comprehension for coalgebras

Electronic Notes in Theoretical Computer Science

Volumn 65, Issue 1, 2002, Pages 112-134

  Jacobs, Bart ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; CONFORMAL MAPPING; FORMAL LOGIC; FUNCTIONS; SET THEORY;

ADJUNCTION; COALGEBRA; FUNCTORS;

ALGEBRA;

EID: 18944390976     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80362-1     Document Type: Conference Paper

References (20)

1. Barr M., Wells Ch. Toposes, Triples and Theories. 1985;Springer, Berlin
2. Borceux F. Handbook of Categorical Algebra, volume 50, 51 and 52 of Encyclopedia of Mathematics. 1994;Cambridge Univ. Press
3. Ehrhard Th. A categorical semantics of constructions. Logic in Computer Science. 1988;264-273 IEEE, Computer Science Press
4. H.P. Gumm. Elements of the general theory of coalgebras. Notes of lectures given at LUATCS'99: Logic, Universal Algebra, Theoretical Computer Science, Johannesburg. Available as www.mathematik.uni-marburg.de/~gumm/Papers/ Luatcs.ps, 1999.
5. Gumm H.P., Schröder T. Products of coalgebras. Algebra Universalis. 846:2001;163-185
6. Hermida C., Jacobs B. Structural induction and coinduction in a fibrational setting. Inf. & Comp. 145:1998;107-152
7. J. Hughes. Modal operators for coequations. In A. Corradini, M. Lenisa, and U. Montanari, editors, Coalgebraic Methods in Computer Science, number 44 in Elect. Notes in Theor. Comp. Sci. Elsevier, Amsterdam, 2001. verb+www.elsevier.nl/locate/entcs/volume44.html+
8. J. Hughes. A Study of Categories of Algebras and Coalgebras. PhD thesis, Carnegie Mellon Univ., 2001.
9. B. Jacobs. Mongruences and cofree coalgebras. In V.S. Alagar and M. Nivat, editors, Algebraic Methodology and Software Technology, number 936 in Lect. Notes Comp. Sci., pages 245-260. Springer, Berlin, 1995
10. Jacobs B. Categorical Logic and Type Theory. 1999;North Holland, Amsterdam
11. B. Jacobs. The temporal logic of coalgebras via Galois algebras. Techn. Rep. CSIR9906, Comput. Sci. Inst., Univ. of Nijmegen. To appear in Math. Struct. in Comp. Sci., 1999.
12. Jacobs B., Rutten J. A tutorial on (co)algebras and (co)induction. EATCS Bulletin. 62:1997;222-259
13. Johnstone P.T., Power A.J., Tsujishita T., Watanabe H., Worrell J. On the structure of categories of coalgebras. Theor. Comp. Sci. 260:2001;87-117
14. A. Kurz. Limits in categories of coalgebras. Unpublished note, available from www.pst.informatik.uni-muenchen.de/personen/kurz/indexworks.html, 1999.
15. Mac Lane S. Categories for the Working Mathematician. 1971;Springer, Berlin
16. F.W. Lawvere. Equality in hyperdoctrines and comprehension scheme as an adjoint functor. In A. Heller, editor, Applications of Categorical Algebra, pages 1-14, Providence, 1970. AMS.
17. Manes E.G. Algebraic Theories. 1974;Springer, Berlin
18. D. Pavlović. Predicates and Fibrations. PhD thesis, Univ. Utrecht, 1990.
19. Rutten J. Universal coalgebra: a theory of systems. Theor. Comp. Sci. 249:2000;3-80
20. J. Worrell. Toposes of coalgebras and hidden algebras. In B. Jacobs, L. Moss, H. Reichel, and J. Rutten, editors, Coalgebraic Methods in Computer Science, number 11 in Elect. Notes in Theor. Comp. Sci. Elsevier, Amsterdam, 1998. www.elsevier.nl/locate/entcs/volume11.html.