Abstract
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.