Mathematics and theoretical computer science. Interests: homotopy theory, category theory, locally presentable category, concurrency theory, process algebra, computer science.
17 Negative objects in categories Jun 20 '12
11 Most striking applications of category theory? Jul 28 '12
7 Cubical model category Jun 29
7 Examples of non Quillen-equivalent model categories having equivalent homotopy categories Jul 4 '13