Mathematics and theoretical computer science. Interests: homotopy theory, category theory, locally presentable category, concurrency theory, process algebra, computer science.
Member for 6 years, 11 months
0 profile views
Last seen Apr 19 at 12:40
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 →