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 ...
On a recent train trip from Lyon to Paris, Vladimir Voevodsky sat next to Steve Awodey and tried to convince him to change the way he does mathematics. Voevodsky, 48, is a permanent faculty member at ...
Various aspects of homotopy theory in the category of simplicial spaces are developed. Topics covered include continuous cohomology, continuous de Rham cohomology, the Kan extension condition, the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback