Choose timezone
Your profile timezone:
Abstract homotopy theory seminar
Cubical sets go way back; in fact, they were the first combinatorial model of spaces studied by Kan (1955-56) before switching to simplicial methods (1957+). In recent years, cubical methods have seen a renewed interest thanks to their applications to theoretical computer science and combinatorics. This talk will be an introduction to cubical sets, highlighting similarities and differences between the cubical and simplicial approaches to homotopy theory and higher category theory.