Anticipatory Adjointness of E-Science Computation on the Grid.

摘要

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. Strong anticipation needs both left and right adjoints at each level or by composition of adjoints for the system as a whole.