Logic, algebra and topology door