Skip to main content
Thibaut Benjamin's user avatar
Thibaut Benjamin's user avatar
Thibaut Benjamin's user avatar
Thibaut Benjamin
  • Member for 7 years, 7 months
  • Last seen more than 2 years ago
Stats
1,272
reputation
16k
reached
49
answers
6
questions
Loading…
About

I am a PhD student in computer science. I am very interested in the connections between category theory and type theory. I work with categorical framework to express type theory, and type-theoretical frameworks to do higher category theory. I am also interested in the connections with homotopy theory and generalisation to other kinds of higher structures

This user doesn’t have any gold badges yet.
6
silver badges
13
bronze badges
68
Score
34
Posts
62
Posts %
12
Score
6
Posts
11
Posts %
12
Score
3
Posts
5
Posts %
11
Score
4
Posts
7
Posts %
9
Score
3
Posts
5
Posts %
5
Score
4
Posts
7
Posts %
Top posts
View all questions and answers