Advertisement

Identification and recognition through shape in complex systems

  • Charles Rattray
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1030)

Abstract

Categorical modelling is a useful tool in the study of systems. The basic idea of categorical shape theory is that, in any approximating situation, the approximations are what encode the only information that the system can analyse. Such approximations are very important in using time-varying complex systems to model system developments. Within this context, basic properties of categorical shape theory are introduced in order to better understand system approximation and construction.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    C Alexander, S Ishikawa, M Silverstein: A Pattern Language, Oxford University Press, 1977.Google Scholar
  2. 2.
    H Appelgate, M Tierney: “Categories with Models”, Lecture Notes in Mathematics, 80, Springer-Verlag, 1969.Google Scholar
  3. 3.
    K Borsuk: Theory of Shape, Monografie Matematyczne, 59, PWN Warsaw, 1975.Google Scholar
  4. 4.
    J-M Cordier, T Porter: Shape Theory: categorical approximation methods, Ellis Horwood Ltd., 1990.Google Scholar
  5. 5.
    A Deleanu, P Hilton: “On the Categorical Shape of a Functor”, Fundamenta Mathematicae, XCVII, 3, 1977.Google Scholar
  6. 6.
    S Ginali, J Goguen: “A Categorical Approach to General Systems”, in Applied General Systems Research: recent developments and trends (ed. GJ Klir), Plenum Press, 1978.Google Scholar
  7. 7.
    E Gomma, R Helm, R Johnson, J Vlissides: Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley Publ. Co., 1995.Google Scholar
  8. 8.
    M Husek: “Introduction to Categorical Shape Theory, with Applications in Mathematical Morphology”, in Shape in Picture (ed. O Ying-Lei, A Toet, D Foster, HJAM Heijmans, P Meer), Springer-Verlag, 1993.Google Scholar
  9. 9.
    S MacLane: Categories for the Working Mathematician, Springer-Verlag, 1971.Google Scholar
  10. 10.
    N Martí-Oliet, J Meseguer: “From Petri Nets to Linear Logic”, Math. Struct. in Comp. Science, 1, 1991.Google Scholar
  11. 11.
    T Porter: “Can Categorical Shape Theory Handle Grey Level Images?”, Shape in Picture (ed. O Ying-Lei, A Toet, D Foster, HJAM Heijmans, P Meer), Springer-Verlag, 1993.Google Scholar
  12. 12.
    C Rattray, D Price: “Sketching an Evolutionary Hierarchical Framework for Knowledge-Based Systems Design”, EUROCAST'89, LNCS, 410, Springer-Verlag, 1990.Google Scholar
  13. 13.
    C Rattray, M Marsden: “Object Identification and Retrieval in a CAST Library”, EUROCAST'91, LNCS, 585, Springer-Verlag, 1992.Google Scholar
  14. 14.
    C Rattray: “The Shape of Complex Systems”, EUROCAST'93, LNCS, 763, Springer-Verlag, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Charles Rattray
    • 1
  1. 1.Department of Computing ScienceUniversity of StirlingStirlingScotland FK9 4LA, UK

Personalised recommendations