Skip to main content
Log in

Complex Systems from the Perspective of Category Theory: II. Covering Systems and Sheaves

  • Published:
Axiomathes Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • M.A. Arbib E.G. Manes (1975) Arrows, Structures and Functors: The Categorical Imperative Academic Press New York

    Google Scholar 

  • 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

    Article  Google Scholar 

  • M.A. Arbib E.G. Manes (1986) Algebraic Approaches to Program Semantics Springer-Verlag Berlin

    Google Scholar 

  • M Artin A Grothendieck J.L. Verdier (1972) Theorie de topos et cohomologie etale des schemas, Springer LNM 269 and 270 Springer-Verlag Berlin

    Google Scholar 

  • J.L. Bell (1982) ArticleTitle‘Categories, Toposes and Sets’ Synthese 51 IssueID3 293–337 Occurrence Handle10.1007/BF00485258

    Article  Google Scholar 

  • J.L. Bell (1986) ArticleTitle‘From Absolute to Local Mathematics’ Synthese 69 409–426 Occurrence Handle10.1007/BF00413980

    Article  Google Scholar 

  • J.L. Bell (1988) Toposes and Local Set Theories Oxford University Press Oxford

    Google Scholar 

  • J.L. Bell (2001) ArticleTitle‘Observations on Category Theory’ Axiomathes 12 151–155 Occurrence Handle10.1023/A:1012766204615

    Article  Google Scholar 

  • F. Borceaux (1994) Handbook of Categorical Algebra, Vols. 1--3 Cambridge University Press Cambridge

    Google Scholar 

  • D. Kan (1958) ArticleTitleFunctors Involving c.s.s. Complexes Transactions of the American Mathematical Society 87 330–346

    Google Scholar 

  • G.M. Kelly (1971) Basic Concepts of Enriched Category Theory, London Math. Soc Lecture Notes Series 64 Cambridge University Press Cambridge

    Google Scholar 

  • 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

    Google Scholar 

  • S. MacLane (1971) Categories for the Working Mathematician Springer-Verlag New York

    Google Scholar 

  • S. MacLane I. Moerdijk (1992) Sheaves in Geometry and Logic Springer- Verlag New York

    Google Scholar 

  • J.P. Marquis (2002) ‘From a geometrical point of view: The Categorical Perspective on Mathematics and its Foundations Category Theory Seminar Montreal

    Google Scholar 

  • A. Peruzzi (1993) ArticleTitle‘From Kant to Entwined Naturalism’ Annali del Dipartimento di Filosofia IX 225–334

    Google Scholar 

  • 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

    Article  Google Scholar 

Download references

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10516-004-6676-7

Keywords

Navigation