Skip to main content
MathOverflow
safsom's user avatar
safsom's user avatar
safsom's user avatar
safsom
  • Member for 7 months
  • Last seen this week
Profile Activity
Stats
225
reputation
1k
reached
0
answers
3
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
View all tags
0
Score
2
Posts
67
Posts %
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
5
Large cardinals approached through $\infty$-categories
May 18
question
5
Intuition for the "internal logic" of a cotopos
Jul 1
question
2
Semantic equivalence between mathematical proofs
Nov 1
Top network posts
View all network posts
28
"Galois theory" on graphs
18
How do I list my devices in GRUB?
8
Is every Heyting algebra the subobject classifier of some topos?