This paper begins the discussion of how the Information Flow Framework can be used to provide a principled foundation for the metalevel (or structural level) of the Standard Upper Ontology (SUO). This SUO structural level can be used as a logical framework for manipulating collections of ontologies in the object level of the SUO or other middle level or domain ontologies. From the Information F...

We propose a new research program which provides an approach to consciousness and the t problem ofdeep reality. Our model is based on category theory. The need to t relate l t local l behavior to global behavior has convinced us early on that a good model l for conscious entities had to be found in the notion of sheaf. With t this t i formulation, f l ti , every presheaf represents a brain (orr...

The term structuralism occurred in several branches of the humanities and the sciences in the period 1929 – 1970: in Linguistics (Ferdinand de Saussure, Roman Jakobson), Anthropology (Claude Lévi-Strauss), Developmental psychology (Jean Piaget), Literature (Workshop for potential literature, Raymond Queneau) and in Mathematics (Nicolas Bourbaki). To the layman the structuralist movement in math...

1. Devised by Eilenberg and Mac Lane in the early 1940s, category theory is a presentation of mathematics in terms of the fundamental concepts of transformation, and composition of transformations. While the importance of these concepts had long been recognized in algebra (for example, by Galois through the idea of a group of permutations) and in geometry (for example, by Klein in his Erlanger ...

Steve Awodey (CMU): “Sketch of the homotopy interpretation of intensional type theory” Abstract: As a tutorial of sorts, I will outline the homotopy interpretation of intensional type theory and survey some of the recent results by various people. As a tutorial of sorts, I will outline the homotopy interpretation of intensional type theory and survey some of the recent results by various people...