MathOverflow
Philippe Gaucher's user avatar
Philippe Gaucher's user avatar
Philippe Gaucher's user avatar
Philippe Gaucher
  • Member for 11 years, 5 months
  • Last seen this week
Profile Activity
Stats
3,697
reputation
96k
reached
26
answers
65
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.
19
silver badges
30
bronze badges
Top tags
View all tags
67
Score
67
Posts
74
Posts %
23
Score
31
Posts
34
Posts %
20
Score
14
Posts
15
Posts %
11
Score
8
Posts
9
Posts %
11
Score
5
Posts
5
Posts %
9
Score
22
Posts
24
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
27
Small ideas that became big
Aug 15, 2020
answer
21
Most striking applications of category theory?
Jul 28, 2012
answer
20
Negative objects in categories
Jun 20, 2012
question
14
Example of non accessible model categories
Mar 26, 2019
question
13
Examples of non Quillen-equivalent model categories having equivalent homotopy categories
Jul 4, 2013
question
10
Two model categories I would like to know if they are Quillen equivalent or not
Jul 4, 2013
question
9
A (very naive) question about Homotopy Type Theory
Aug 6, 2013
question
9
Algebraic structure on homotopy groups of spheres
Jul 27, 2016
question
8
Compact-open topology and Delta-generated spaces
Jan 8, 2021
answer
8
What was Burroni's sketch for topological spaces?
Jul 27, 2017
Top network posts
View all network posts
70
I'm getting the message: "The following security updates require Ubuntu Pro with 'esm-apps' enabled" when updating Ubuntu 22.04
36
I'm getting the message: "The following security updates require Ubuntu Pro with 'esm-apps' enabled" when updating Ubuntu 22.04
9
Trouble playing sound from sony WH-1000XM4 on ubuntu 22.04
8
What is the meaning of "G" in G7Turing in "Salvation"?
7
Nvidia driver not working on Ubuntu 22.04

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.