MathOverflow
Doctor Gibarian's user avatar
Doctor Gibarian's user avatar
Doctor Gibarian's user avatar
Doctor Gibarian
  • Member for 14 years, 3 months
Profile Activity
Stats
417
reputation
9k
reached
2
answers
10
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
15
bronze badges
Top tags
View all tags
2
Score
12
Posts
100
Posts %
2
Score
2
Posts
17
Posts %
0
Score
2
Posts
17
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
question
11
The difference between the Recursive and the Effective topos.
Apr 18, 2010
question
5
Category of graphs.
Jan 17, 2010
question
4
Equalizer completion
Oct 7, 2010
question
3
Freyd cover of a category.
Jan 17, 2010
question
3
Pullbacks for primitive recursive functions.
Feb 25, 2010
question
2
Coequalizer in the category of primitive recursive functions
Jan 22, 2010
question
2
Codomain fibration.
Dec 31, 2011
answer
2
The difference between the Recursive and the Effective topos.
Apr 19, 2010
question
1
Parametrized natural numbers object.
Jan 18, 2010
question
1
Cotensor vs exponential objects.
Jun 20, 2012
Top network posts
View all network posts
5
Waiting after a review