Unifying Theories in Different Institutions

M. Arrais, José Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Citations (Scopus)


We investigate functorial relationships between the categories of theories in different institutions, namely adjunctions, as a means of translating between the different specification spaces that they provide. We show that there is a canonical way in which adjunctions between the categories of signatures can be lifted to the categories of theories. This lifting is associated with a duality between the concepts of institution map and institution morphism. Finally, we make an attempt at generalising these results to institution semi-morphisms that can be presented by an inference system.
Original languageEnglish
Title of host publicationRecent Trends in Data Type Specification
Subtitle of host publication11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
EditorsM. Haveraaen, O. Owe, O. J. Dhal
PublisherSpringer Verlag
Number of pages21
ISBN (Electronic)9783540706427
ISBN (Print)9783540616290
Publication statusPublished - 1996

Publication series

NameLecture Notes in Computer Science


  • Inference System
  • Temporal Logic
  • Natural Transformation
  • Linear Temporal Logic
  • Left Adjoint


Dive into the research topics of 'Unifying Theories in Different Institutions'. Together they form a unique fingerprint.

Cite this