- Institution (computer science)
- Dr. Răzvan Diaconescu: Institutions,Category Theory & Model Theory - Selected Papers
- Goguen's Institutions Page
- Joseph Goguen (2004) Information Integration in Institution
This paper uni es and/or generalizes several approaches to
information, including the information flow of Barwise and Seligman, the formal conceptual analysis of Wille, the lattice of theories of Sowa, the categorical general systems theory of Goguen, and the cognitive semantic theories of Fauconnier, Turner, Gardenfors, and others. Its rigorous approach uses category theory to achieve independence from any particular choice of representation, and institutions to achieve independence from any particular choice of logic. Corelations and colimits provide a general formalization of information integration, and Grothendieck constructions extend this to several kinds of heterogeneity. Applications include modular programming, Curry-Howard isomorphism, database semantics, ontology alignment, cognitive semantics, and more.
Now just need to add "privacy" and "entropy" into this and formalise some of the ideas we're thinking about in this paper....