Geometric Theory of Machine Awareness for Legal Information Retrieval and Reasoning (1995)

Author(s): M.A. Heather and B.N. Rossiter

Abstact: This report considers that links in hypertext are representable as links in thought by covariant arrows between categories. Taken in dynamic context, the right-exactness of the Heyting implication A ? B corresponds to inference and the next document in a non-linear trail through hypermedia. Awareness is provided by the dual contravariant arrows with the important special case of the intension-extension relationship. The corresponding left-exactness is the closure limit that invokes consciousness.