@deepfates type theory is a subject that has overlaps between math and computer science so it is an interesting topic of research. homotopy type theory (hott) used to make sense of topological spaces like that .