Reputation
6,866
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 7 31
Newest
 Cleanup
Impact
~72k people reached

May
20
accepted How to introduce type theory to newcomer
Sep
8
accepted Category of pointed manifolds
Dec
8
accepted Reasons for coherence for bi/monoidal categories
Oct
3
accepted Homotopic maps which aren't relative homotopic
Oct
1
accepted What is combinatorics?
Oct
1
accepted Lawvere category of categories for foundations
Oct
1
accepted What is combinatorial homotopy theory?