Mike Shulman
|
Registered User
|
I am currently a member of the Institute for Advanced Study. My research is in category theory, higher category theory, and homotopy theory.
|
| 59 |
Questions |
3
27
votes
6
answers
2k
views
8
25
votes
3
answers
2k
views
3
22
votes
1
answer
558
views
6
20
votes
1
answer
618
views
8
18
votes
8
answers
1k
views
4
17
votes
1
answer
914
views
5
16
votes
1
answer
522
views
3
16
votes
1
answer
651
views
7
16
votes
2
answers
581
views
4
16
votes
5
answers
641
views
|
589
|
Votes |
568 |
21 |
|
109
|
Tags |
|
ct.category-theory× 161 higher-category-theory× 38 at.algebraic-topology× 36 topos-theory× 33 set-theory× 31 lo.logic× 26 homotopy-theory× 19 model-categories× 13 reference-request× 11 ag.algebraic-geometry× 11 |
sheaf-theory× 10 homological-algebra× 9 stacks× 8 soft-question× 7 simplicial-stuff× 7 infinity-categories× 7 gn.general-topology× 6 terminology× 5 model-theory× 5 colimits× 5 |
adjoint-functors× 5 type-theory× 4 stable-homotopy× 4 monoidal-categories× 4 monads× 4 math-philosophy× 4 large-cardinals× 4 intuition× 4 grothendieck-topology× 4 big-list× 4 |
axiom-of-choice× 4 publishing× 3 locales× 3 fibration× 3 equivariant-homotopy× 3 spectral-sequences× 2 proof-theory× 2 modules× 2 loop-spaces× 2 localization× 2 |
gr.group-theory× 2 foundations× 2 forcing× 2 fibered-categories× 2 constructive-mathematics× 2 constructive× 2 co.combinatorics× 2 cartesian-closed× 2 big-picture× 2 axioms× 2 |
|
93
|
Badges |
