Information Integration in Institutions

@inproceedings{Goguen2004InformationII,
  title={Information Integration in Institutions},
  author={J. R. Goguen},
  year={2004}
}
This paper unifies 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, Gärdenfors, and others. Its rigorous approach uses category theory to achieve independence from any particular choice of representation, and institutions to achieve independence from any… CONTINUE READING