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 ...
Knot theory, a branch of topology dedicated to the study of embeddings of circles in three-dimensional space, intersects deeply with homotopy theory—the study of continuous deformations between ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results