Cobordism theory, a cornerstone of geometric topology, analyses the equivalence classes of manifolds by utilising the concept of cobordism – whereby two manifolds are considered equivalent if they ...

Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...