Australian category theorist
Member for 4 years, 11 months
1 profile view
Last seen 2 days ago
Top network posts
- 26 Joyal's letter to Grothendieck
- 19 History of integral notation for coends
- 15 Day convolution intuition
- 14 Is there any references on the tensor product of presentable (1-)categories?
- 11 Is there a Yoneda structure on $\bf PDer$?
- 11 Weak complicial sets: Are the morphisms too strict?
- 10 2-natural operations on toposes
- View more network posts →