Skip to main content
Mathematics
Philippe Gaucher's user avatar
Philippe Gaucher's user avatar
Philippe Gaucher's user avatar
Philippe Gaucher
  • Member for 10 years, 7 months
  • Last seen more than a month ago
Profile Activity

Stats

287
reputation
3k
reached
1
answer
4
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.
1
silver badge
10
bronze badges

Top tags

View all tags
11
Score
3
Posts
60
Posts %
11
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %

Top posts

11
Fundamental Group as a Functor and its Adjoint
Jun 26, 2017
2
Algorithm to check that a point is in the convex rule of $4$ points in the $3$-dimensional space
Sep 11, 2017
2
Origin of $E$ in $E^\infty$-object
Dec 4, 2017
1
Regular cardinal for a fixpoint of the exponential
Oct 9, 2018
1
Compact-open topology for the space of continuous paths
Jan 30, 2021

Top network posts

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