Remarks on classifications and adjunctions |
| |
Authors: | George Voutsadakis |
| |
Institution: | (1) School of Mathematics and Computer Science, Lake Superior State University, USA |
| |
Abstract: | Jon Barwise and Jerry Seligman introduced the category of classifications and infomorphisms to model information theoretical
concepts and information flow processes. This is the dual category of the category of Chu spaces introduced by Michael Barr
and Peter Chu and studied extensively by Vaughan Pratt, Gordon Plotkin and others at Stanford. It is also very closely related
to the theory of institutions introduced in a different context by Joseph Goguen and Rod Burstall. Here some aspects of the
theory are reviewed and some adjunctions between the category of classifications and other related categories are studied
from a more abstract point of view. |
| |
Keywords: | Classifications Chu Spaces Infomorphisms Information Flow Functions Relations Partitions Adjunctions |
本文献已被 SpringerLink 等数据库收录! |