[Flirts] Course material and books on institutions

[Uwe.Wolter at ii.uib.no]

Hallo Till,

ich habe in meinem Kategorientheorie-Kurs in Bergen die letzten Jahre  
immer Jose's Buch in Teilen verwendet, wobei ich Institutions nur kurz  
streifen konnte, weil das Niveau der Studenten einfach zu niedrig ist.

Das Problem mit diesem Buch ist, dass es etwas zusammengestoppelt und  
heterogen ist. Ich habe immer versucht, den Studenten auch CommUnity,  
als ein paradigmatisches Beispiel fuer Compositionality, nahe zu  
bringen, habe das jetzt aber aufgegeben und mich mehr auf die  
Formalisierung Diagrammatischer Spezifikationstechniken verlegt. Ich  
habe dann weiterhin den ersten Teil von Jose's Buch als Einfuehrung in  
die Kategorientheorie benutzt, aber das hat sich nicht als die beste  
Loesung erwiesen. Vor 3 Jahren hatte ich auch mal einen guten  
Studenten, der sich beschwert hat, dass Jose's Buch nicht mathematisch  
genug ist.

Viel Erfolg mit deinem Kurs wuenscht

Uwe

Quoting Till Mossakowski <till at informatik.uni-bremen.de>:

> Dear FLIRTers,
>
> in a while I will for the first time cover categories, colimits and
> institutions within a lecture. I am currently looking for course
> material, especially books and book chapters (with exercises)
> about institutions.
>
> Let me summarise what I know is there:
>
> There is the book "Institution-Independent Model Theory" by
> Razvan Diaconescu (just appeared this year). I think this is
> the first proper book an institutions and I can warmly recommend
> it as an authoritative reference about institutions.
>
> Moreover, there is the forthcoming book "Foundations of Algebraic
> Specification and Formal Program Development" by Don Sannella and
> Andrzej Tarlecki, which contains a chapter on institutions,
> a shortend (?) version of which has appeared in the book
> "Algebraic Foundations of Systems Specifications".
>
> And then there are some sections about institutions
> in the book "Categories for Software Engineering" by
> José Fiadeiro.
>
> Please tell me if you know of any further books or similar
> course material.
>
> All the best,
> Till
> _______________________________________________
> Flirts mailing list
> Flirts at mail.informatik.uni-bremen.de
> http://www.informatik.uni-bremen.de/mailman/listinfo/flirts