First introduction to simplicial sets


I gave a talk on 23 February 2016 in CARGO introducing basic concepts and construction of simplicial sets and simplicial objects from algebraic topology to postgraduate and postdoc students of theoretical computer science. This talk was subsequently followed by a talk on simplicial models of HoTT.

View/download slides