Sheaf theory: from deep geometry to deep learning