Abstract
Using the concept of adjunction, for the comprehension of the structure of a complex system, developed in Part I, we introduce the notion of covering systems consisting of partially or locally defined adequately understood objects. This notion incorporates the necessary and sufficient conditions for a sheaf theoretical representation of the informational content included in the structure of a complex system in terms of localization systems. Furthermore, it accommodates a formulation of an invariance property of information communication concerning the analysis of a complex system.
Similar content being viewed by others
References
M.A. Arbib E.G. Manes (1974) ArticleTitle‘Machines in a Category: An Expository Introduction’ SIAM Review 16 IssueID2 163–192 Occurrence Handle10.1137/1016026
M.A. Arbib E.G. Manes (1974) ArticleTitle‘Foundations of Systems Theory: Decomposable Systems’ Automatica 10 285–302 Occurrence Handle10.1016/0005-1098(74)90039-9
M.A. Arbib E.G. Manes (1975) Arrows, Structures and Functors: The Categorical Imperative Academic Press New York
M.A. Arbib E.G. Manes (1975) ArticleTitle‘A Category-Theoretic Approach to Systems in a Fuzzy World Synthese 30 381–406 Occurrence Handle10.1007/BF00485051
M.A. Arbib E.G. Manes (1986) Algebraic Approaches to Program Semantics Springer-Verlag Berlin
M Artin A Grothendieck J.L. Verdier (1972) Theorie de topos et cohomologie etale des schemas, Springer LNM 269 and 270 Springer-Verlag Berlin
J.L. Bell (1982) ArticleTitle‘Categories, Toposes and Sets’ Synthese 51 IssueID3 293–337 Occurrence Handle10.1007/BF00485258
J.L. Bell (1986) ArticleTitle‘From Absolute to Local Mathematics’ Synthese 69 409–426 Occurrence Handle10.1007/BF00413980
J.L. Bell (1988) Toposes and Local Set Theories Oxford University Press Oxford
J.L. Bell (2001) ArticleTitle‘Observations on Category Theory’ Axiomathes 12 151–155 Occurrence Handle10.1023/A:1012766204615
F. Borceaux (1994) Handbook of Categorical Algebra, Vols. 1--3 Cambridge University Press Cambridge
D. Kan (1958) ArticleTitleFunctors Involving c.s.s. Complexes Transactions of the American Mathematical Society 87 330–346
G.M. Kelly (1971) Basic Concepts of Enriched Category Theory, London Math. Soc Lecture Notes Series 64 Cambridge University Press Cambridge
Lawvere F.W. (1975). ‘Continuously Variable Sets: Algebraic Geometry = Geometric Logic’, Proceedings of the Logic Colloquium in Bristol. North-Holland, Amsterdam, pp. 134--156
F.W. Lawvere S.H. Schanuel (1997) Conceptual Mathematics Cambridge University Press Cambridge
S. MacLane (1971) Categories for the Working Mathematician Springer-Verlag New York
S. MacLane I. Moerdijk (1992) Sheaves in Geometry and Logic Springer- Verlag New York
J.P. Marquis (2002) ‘From a geometrical point of view: The Categorical Perspective on Mathematics and its Foundations Category Theory Seminar Montreal
A. Peruzzi (1993) ArticleTitle‘From Kant to Entwined Naturalism’ Annali del Dipartimento di Filosofia IX 225–334
Peruzzi A. (1994). ‘On the Logical Meaning of Precategories’, (Preliminary Version, April 1994). pp. 1--13
A. Peruzzi (2002) ArticleTitle‘Ilge Interference Patterns in Semantics and Epistemology’ Axiomathes 13 IssueID1 39–64 Occurrence Handle10.1023/A:1016595806778
Rights and permissions
About this article
Cite this article
Zafiris, E. Complex Systems from the Perspective of Category Theory: II. Covering Systems and Sheaves. Axiomathes 15, 181–190 (2005). https://doi.org/10.1007/s10516-004-6676-7
Issue Date:
DOI: https://doi.org/10.1007/s10516-004-6676-7