MathOverflow
Meta user
Network profile
3,956
reputation
1
10
27

Ivan Di Liberti

Graduate student in Brno. Category theory and categorical logic.

39
answers
38
questions
~96k
people reached

Communities (4)

Top network posts

Top tags (60)

Score 128
Posts 61
Posts % 79
Score 34
Posts 10
Score 32
Posts 6
Score 20
Posts 16
Score 15
Posts 10
Score 13
Posts 7
View all tags →

Top posts (77) All Questions Answers | Votes Newest

18 Commutative rings : Topoi = Fields :? Feb 14 '19
18 What's there to do in category theory? Dec 6 '17
15 Surmounting set-theoretical difficulties in algebraic geometry Nov 16 '19
14 When is the category of models of a limit theory a topos? Sep 19 '18
12 Non-small objects in categories Aug 6 '19
12 Is Set a finitely presentable object in Topoi? Feb 3 '19
12 Model existence theorem in topos theory May 31 '17
12 Snake lemma for equivalence relation Jan 29 '18
11 Why did Voevodsky consider categories “posets in the next dimension”, and groupoids the correct generalisation of sets? Aug 31 '18
10 Good introductory book to type theory? May 6 '19
View all questions and answers →

Badges (38)

Gold

1

Rarest

Silver

10

Rarest

Bronze

27

Rarest

View all badges →