Kan Extensions of Institutions

Research output: Contribution to journalArticlepeer-review


Institutions were introduced by Goguen and Burstall [GB84, GB85, GB86, GB92] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality between morphisms and representations of institutions comes from an adjointness between categories of functors, and prove the cocompleteness of the categories of institutions over small signatures with morphisms and representations, respectively.

Original languageEnglish (US)
Pages (from-to)482-492
Number of pages11
JournalJournal of Universal Computer Science
Issue number8
StatePublished - 1999
Externally publishedYes

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Kan Extensions of Institutions'. Together they form a unique fingerprint.

Cite this