MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Doctor Gibarian

149
Reputation
476 views
Is this your account?

Registered User 

Name Doctor Gibarian
Member for 3 years
Seen May 8 at 17:24
Website
Location
Age
10

Questions
votes newest views recent
1

3
4
votes
4
answers
531
views

Category of graphs.

dec 31 11 at 22:25 Doctor Gibarian 149●6

1
2
votes
2
answers
355
views

Freyd cover of a category.

dec 29 10 at 12:07 Neel Krishnaswami 6,105●1●9●38

1
2
votes
4
answers
294
views

Equalizer completion

nov 16 10 at 10:21 Andrej Bauer 13.1k●29●72

1
1
vote
2
answers
359
views

Codomain fibration.

jan 13 12 at 17:10 Mike Shulman 17.4k●21●72

2
1
vote
3
answers
512
views

Parametrized natural numbers object.

dec 29 10 at 14:49 Andrej Bauer 13.1k●29●72

1

 
1
vote
2
answers
368
views

Pullbacks for primitive recursive functions.

feb 25 10 at 18:02 Joel David Hamkins 76.8k●8●192●355

1
0
votes
1
answer
218
views

Equalizer objects in Set.

jan 31 10 at 13:17 Chandan Singh Dalawat 11.6k●1●40●74

 
0
votes
1
answer
197
views

Cotensor vs exponential objects.

jun 20 at 11:16 Peter May 12.3k●1●39●55

 

2

Answers
0
Parametrized natural numbers object.
0
The difference between the Recursive and the Effective topos.

 

20

Votes
20

 

8

Tags
× 10
× 2






 

6

Badges
● Peer Pressure
● Editor
 ● Commentator
● Supporter
 ● Scholar
● Student