In this follow up talk to "Institutions Exemplified" we will have a
closer look at one of the defining concepts of Institutions, namely the
"Satisfaction Condition". We'll also recap the examples of institutions
of the previous talk and use them to have look at examples of Signature
Morphisms and Institution Comorphisms.
Back to the Oberseminar web page Webmaster