Mathematics and theoretical computer science. Interests: homotopy theory, category theory, locally presentable category, concurrency theory, process algebra, computer science.
Member for 3 years, 8 months
0 profile views
Last seen Jun 27 '17 at 6:50
Top network posts
- 19 Negative objects in categories
- 17 Most striking applications of category theory?
- 12 Example of non accessible model categories
- 11 Examples of non Quillen-equivalent model categories having equivalent homotopy categories
- 10 Two model categories I would like to know if they are Quillen equivalent or not
- 9 A (very naive) question about Homotopy Type Theory
- 9 Algebraic structure on homotopy groups of spheres
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Feb 4 '16