Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2015, December 9
Author: Günther, Stephan
Title: Institutions Exemplified 2: Part 2 – Return of the Comorphisms


In this third (or more precisely the second part of the second) part of “Institutions Exemplified” we will look at a type of mappings between institutions called institution comorphisms. We'll have a look at natural transformations, which are the category theoretical concept underlying institution comorphisms, use them to define institution comorphims and look at a simple, illustrative example for one.
Back to the Oberseminar web page