  Topos formalism for quantum mechanics is interpreted in a broader,
information retrieval perspective. Contexts, its basic components, are treated
as sources of information. Their interplay, called daseinisation, defined in
purely logical terms, is reformulated in terms of two relations: exclusion and
preclusion of queries. Then, broadening these options, daseinisation becomes a
characteristic of proximity of contexts; to quantify it numerically, Shannon
entropy is used.
