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
9 Most striking applications of category theory? jul 28 '12
7 Examples of non Quillen-equivalent model categories having equivalent homotopy categories jul 4 '13
3 Systems of equations in Boolean Algebra nov 20 '14