MathOverflow
Philippe Gaucher's user avatar
Philippe Gaucher's user avatar
Philippe Gaucher's user avatar
Philippe Gaucher
  • Member for 11 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
3,759
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Mathematics and theoretical computer science. Interests: homotopy theory, category theory, locally presentable category, concurrency theory, process algebra, computer science, directed algebraic topology

Badges
View all badges
This user doesn’t have any gold badges yet.
11
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
89
I'm getting the message: "The following security updates require Ubuntu Pro with 'esm-apps' enabled" when updating Ubuntu 22.04
42
I'm getting the message: "The following security updates require Ubuntu Pro with 'esm-apps' enabled" when updating Ubuntu 22.04
27
Small ideas that became big
21
Most striking applications of category theory?
20
Negative objects in categories