Mathematics and theoretical computer science. Interests: homotopy theory, category theory, locally presentable category, concurrency theory, process algebra, computer science.
Member for 7 years, 2 months
0 profile views
Last seen Jun 18 at 1:36
Top network posts
- 19 Negative objects in categories
- 17 Most striking applications of category theory?
- 13 Example of non accessible model categories
- 12 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 →