Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
401
reputation
2
9

Thibaut Benjamin

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

13
answers
4
questions
~1k
people reached
  • Member for 2 years, 5 months
  • 20 profile views
  • Last seen May 16 at 7:00

Top tags (33)

Score 18
Posts 8
Posts % 47
Score 9
Posts 1
Score 9
Posts 1
Score 9
Posts 1
Score 5
Posts 3
Score 4
Posts 1

Top posts (17) All Questions Answers | Votes Newest

View all questions and answers

Badges (11)

Gold

Silver

2

Rarest

Bronze

9

Rarest