Location of Repository

Anticipatory Adjointness of E-Science Computation on the Grid

By B. N. Rossiter, M. A. Heather and Sutherland Building

Abstract

Information systems are anticipatory systems providing knowledge of the real world. If e-science is to operate reactively across the Grid it needs to be integrable with other information systems and e-commerce. Theory suggests that four strong-anticipatory levels of computational types are sufficient to provide ultimate systemic closure with a single strong anticipation. Between the four levels are three layers of adjoint functors that relate each type-pair. A free functor allows selection of a target type at a lower level and its right adjoint determines the higher-level type. Because of the uniqueness a higher-level anticipates a lower level and a lower level a higher. Type anticipation can be provided by left (F) or right (G) adjoint functors. These however are weak anticipation

Topics: computational types, strong anticipation, category theory, Grid, XML. 1
Year: 2007
OAI identifier: oai:CiteSeerX.psu:10.1.1.19.4257
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.ncl.ac.uk/old/re... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.