Computer Science – Digital Libraries
Scientific paper
2011-09-05
Computer Science
Digital Libraries
Presented at the International Category Theory Conference (CT 2006) June 25 - July 1, 2006 at White Point, Nova Scotia
Scientific paper
This presentation discusses a new, modular, more mature architecture for the Information Flow Framework (IFF). The IFF uses institution theory as a foundation for the semantic integration of ontologies. It represents metalogic, and as such operates at the structural level of ontologies. The content, form and experience of the IFF could contribute to the development of a standard ontology for category theory. The foundational aspect of the IFF helps to explain the relationship between the fundamental concepts of set theory and category theory. The development of the IFF follows two design principles: conceptual warrant and categorical design. Both are limitations of the logical expression. Conceptual warrant limits the content of logical expression, by requiring us to justify the introduction of new terminology (and attendant axiomatizations). Categorical design limits the form of logical expression (of all mathematical concepts and constraints) to atomic expressions: declarations, equations or relational expressions. The IFF is a descriptive category metatheory. It is descriptive, since it follows the principle of conceptual warrant; it is categorical, since it follows the principle of categorical design; and it is a metatheory, since it provides a framework for all theories.
No associations
LandOfFree
The Information Flow Framework: New architecture does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Information Flow Framework: New architecture, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Information Flow Framework: New architecture will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-451082