The appearance of the complete Heyting algebra in the realm of Algebraic Topology is the main topic of the paper.