From till at informatik.uni-bremen.de  Wed Oct  1 14:45:14 2008
From: till at informatik.uni-bremen.de (Till Mossakowski)
Date: Wed, 01 Oct 2008 14:45:14 +0200
Subject: [Flirts] Course material and books on institutions
Message-ID: <48E370DA.4020705@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


From Uwe.Wolter at ii.uib.no  Fri Oct  3 13:45:31 2008
From: Uwe.Wolter at ii.uib.no (Uwe.Wolter at ii.uib.no)
Date: Fri, 03 Oct 2008 13:45:31 +0200
Subject: [Flirts] Course material and books on institutions
In-Reply-To: <48E370DA.4020705@informatik.uni-bremen.de>
References: <48E370DA.4020705@informatik.uni-bremen.de>
Message-ID: <20081003134531.60oi5l2nb4ss0000@webmail.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