Application of methods from categorical topology in order to solve problems in the completion theory of quasid-uniform spaces.

Project Details


Models used for the representation of data describe structures on the set of all possible data expressing both qualitive and quantitive information and describe a notion of continuity for a natural topological structure on the set of data. Continuity with respect to this topology expresses a form of computaboloty. In his paper "Quasi uniformities: reconciling domains with metric spaces" Smyth describes a framework satisfying these demands. He uses quasi-uniform spaces introduced in the 80's by Fletcher and Lindgren. However there are still some problems. Cartesian closedness is an important property for models used in theoretical informatics and the category of quasi-uniform spaces does not fulfil this property.
Effective start/end date1/01/0031/12/01


  • categorical topology
  • quasi-uniform spaces

Flemish discipline codes

  • Mathematical sciences