Doctor Gibarian's user avatar
Doctor Gibarian's user avatar
Doctor Gibarian's user avatar
Doctor Gibarian
  • Member for 14 years, 2 months
5 votes
4 answers
2k views

Category of graphs.

0 votes
1 answer
2k views

Equalizer objects in Set.

11 votes
3 answers
1k views

The difference between the Recursive and the Effective topos.

1 vote
3 answers
1k views

Parametrized natural numbers object.

3 votes
2 answers
755 views

Freyd cover of a category.

4 votes
4 answers
688 views

Equalizer completion

2 votes
2 answers
623 views

Codomain fibration.

2 votes
1 answer
580 views

Coequalizer in the category of primitive recursive functions

1 vote
1 answer
533 views

Cotensor vs exponential objects.

3 votes
2 answers
514 views

Pullbacks for primitive recursive functions.