10

Questions
votes newest views recent
 
0
votes
1
answer
197
views

Cotensor vs exponential objects.

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

1
1
vote
2
answers
359
views

Codomain fibration.

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

3
4
votes
4
answers
531
views

Category of graphs.

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

2
1
vote
3
answers
512
views

Parametrized natural numbers object.

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

1
2
votes
2
answers
354
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
6
votes
2
answers
692
views

The difference between the Recursive and the Effective topos.

apr 20 10 at 5:29 Andrej Bauer 13.1k●29●72

 
1
vote
2
answers
368
views

Pullbacks for primitive recursive functions.

feb 25 10 at 18:02 Joel David Hamkins 76.7k●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

1
1
vote
1
answer
447
views

Coequalizer in the category of primitive recursive functions

jan 23 10 at 4:41 Joel David Hamkins 76.7k●8●192●355