Browse by author
Lookup NU author(s): Dr Brian Rossiter
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.
Author(s): Heather MA, Rossiter BN
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1995
Pages: 28
Print publication date: 01/07/1995
Source Publication Date: July 1995
Report Number: 531
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/531.pdf