M.A. Heather
B.N. Rossiter
University of Newcastle upon Tyne. 1995.
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.