109 reputation
2
bio website
location
age
visits member for 2 years
seen yesterday

Aug
3
awarded  Student
Jul
9
revised ind-completion and ordinals
edited tags
Jul
9
comment ind-completion and ordinals
Thanks. I think that answers my question. Ind(C) is the free cocompletion of C under filtered colimits. So it's basically C plus all colimits of filtered diagrams in C.
Jul
9
comment ind-completion and ordinals
That might have been a better question.
Jul
9
asked ind-completion and ordinals
Nov
12
awarded  Supporter