Skip to main content
MathOverflow
Philippe Gaucher's user avatar
Philippe Gaucher's user avatar
Philippe Gaucher's user avatar
Philippe Gaucher
  • Member for 13 years, 10 months
  • Last seen this week
Profile Activity

Stats

4,015
reputation
114k
reached
26
answers
73
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.
21
silver badges
32
bronze badges

Top tags

View all tags
69
Score
72
Posts
73
Posts %
25
Score
34
Posts
34
Posts %
20
Score
17
Posts
17
Posts %
11
Score
8
Posts
8
Posts %
11
Score
5
Posts
5
Posts %
10
Score
22
Posts
22
Posts %

Top posts

View all questions and answers
28
Small ideas that became big
Aug 15, 2020
22
Most striking applications of category theory?
Jul 28, 2012
20
Negative objects in categories
Jun 20, 2012
15
Example of non accessible model categories
Mar 26, 2019
14
Examples of non Quillen-equivalent model categories having equivalent homotopy categories
Jul 4, 2013
10
Two model categories I would like to know if they are Quillen equivalent or not
Jul 4, 2013
9
A (very naive) question about Homotopy Type Theory
Aug 6, 2013
9
Algebraic structure on homotopy groups of spheres
Jul 27, 2016
8
Compact-open topology and Delta-generated spaces
Jan 8, 2021
8
Nonequivalent definitions in Mathematics
Nov 23, 2017

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
13
Nvidia driver not working on Ubuntu 22.04
13
Trouble playing sound from sony WH-1000XM4 on ubuntu 22.04
11
Fundamental Group as a Functor and its Adjoint