Institutions Exemplified 2: Part 2 Return of the Comorphisms
Abstract:
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 Webmaster