Making use of the presentation of quasi-uniform spaces as generalised enriched categories, and employing in particular the calculus of modules, we define the Yoneda embedding, prove a (weak) Yoneda Lemma, and apply them to describe the Cauchy completion monad for quasi-uniform spaces.

SUMMARY Analysis of microarray data most often produces lists of genes with similar expression patterns, which are then subdivided into functional categories for biological interpretation. Such functional categorization is most commonly accomplished using Gene Ontology (GO) categories. Although there are several programs that identify and analyze functional categories for human, mouse and yeast...