Contributed talk: Algebraic topology in non-classical mathematics