6

Questions
votes newest views recent
3
7
votes
4
answers
978
views

[solved] sequent calculus as programming language

jul 30 10 at 8:10 beroal 170●6

4
4
votes
5
answers
899
views

motivation of filtered colimits

jan 29 11 at 8:33 beroal 170●6

2
0
votes
1
answer
353
views

a “self-dual” adjunction

jul 14 11 at 19:24 Finn Lawler 2,361●1●5●11

2
1
vote
0
answers
244
views

Do Arbib and Manes describe just concrete categories?

sep 16 11 at 18:16 beroal 170●6

 
1
vote
1
answer
215
views

Is there a category with a subobject classifier but which is not finitely complete?

feb 19 11 at 5:30 Todd Trimble 22.3k●1●62●96

 
1
vote
0
answers
182
views

a limit of $\operatorname{id}$

oct 17 11 at 14:12 beroal 170●6