Koalgebrad

Üldinfo

• Aine kood: MTAT.05.100
• Lektor: Varmo Vene
• Ainepunkte: 4
• Loengute toimumise aeg/koht:
• Kolmapäev, kell 14.15 - 16.00, L612
• Reede, kell 12.15 - 14.00, L612
• Kirjandus:
  • H. Peter Gumm. Elements of the general theory of coalgebras. LUATCS'99, Rand Africaans University, Johannesburg, South Africa, 1999.
  • Dirk Pattinson. An Introduction to the Theory of Coalgebras. NASSLLI 2003, Indiana University, 2003.
  • Alexander Kurz. Coalgebras and Modal Logic. ESSLLI 2001, University of Helsinki, Finland, 2001.
  • Bart Jacobs, Jan Rutten. A Tutorial on (Co)Algebras and (Co)Induction. EATCS Bulletin, v.62, p.222-259, 1997.
  • Jiri Adamek. Introduction to coalgebra. Theory and Applications of Categories, v.14, p.157-199, 2005.

Loengute materjalid

• 14. 02 - Sissejuhatus.
• 16. 02 - Andmetüübid, universaalalgebra ja koalgebrad (coalg2.pdf).
• 23. 02 - Andmetüübid, universaalalgebra ja koalgebrad.
• 30. 02 - Kategooriateooria alusmõisted.
• 14. 03 - Piirid ja kopiirid.

Kasulikke viiteid

• Models and Calculi for Software Components 2003.a. sügisel L.Barbosa loetud kursuse materjalid.
• Coalgebras Mailing List.