Vlad Patryshev
|
Registered User
|
Programmer with math background (ok, a categorist)
|
| 3 |
Questions |
4
15
votes
5
answers
1k
views
2
5
votes
2
answers
809
views
1
vote
1
answer
137
views
|
4
|
Votes |
4 |
|
11
|
Tags |
|
ct.category-theory× 5 topos-theory soft-question set-theory reference-request monoidal-categories monads model-theory lo.logic computer-science |
cartesian-closed |
|
7
|
Badges |

