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 Examples of non Quillen-equivalent model categories having equivalent homotopy categories Jul 4 '13
6 Cubical model category 13 hours ago