Unifying Theories in Different Institutions

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

18 Citations (Scopus)

Abstract

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
Pages81-101
Number of pages21
ISBN (Electronic)9783540706427
ISBN (Print)9783540616290
DOIs
Publication statusPublished - 1996

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume1130

Keywords

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

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

  • Cite this

    Arrais, M., & Fiadeiro, J. L. (1996). Unifying Theories in Different Institutions. In M. Haveraaen, O. Owe, & O. J. Dhal (Eds.), Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers (pp. 81-101). (Lecture Notes in Computer Science; Vol. 1130). Springer Verlag. https://doi.org/10.1007/3-540-61629-2_38