10

Questions
votes newest views recent
1
6
votes
2
answers
687
views

The difference between the Recursive and the Effective topos.

apr 20 10 at 5:29 Andrej Bauer 12.5k●27●69

3
4
votes
4
answers
529
views

Category of graphs.

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

1
2
votes
2
answers
352
views

Freyd cover of a category.

dec 29 10 at 12:07 Neel Krishnaswami 6,065●1●8●38

1
2
votes
4
answers
289
views

Equalizer completion

nov 16 10 at 10:21 Andrej Bauer 12.5k●27●69

1
1
vote
2
answers
358
views

Codomain fibration.

jan 13 12 at 17:10 Mike Shulman 17.2k●20●70

2
1
vote
3
answers
505
views

Parametrized natural numbers object.

dec 29 10 at 14:49 Andrej Bauer 12.5k●27●69

1
1
vote
1
answer
441
views

Coequalizer in the category of primitive recursive functions

jan 23 10 at 4:41 Joel David Hamkins 75.5k●8●188●346

 
1
vote
2
answers
368
views

Pullbacks for primitive recursive functions.

feb 25 10 at 18:02 Joel David Hamkins 75.5k●8●188●346

1
0
votes
1
answer
215
views

Equalizer objects in Set.

jan 31 10 at 13:17 Chandan Singh Dalawat 11.5k●1●39●74

 
0
votes
1
answer
194
views

Cotensor vs exponential objects.

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