Australian category theorist
Member for 4 years, 8 months
1 profile view
Last seen Apr 19 at 13:54
Top Network Posts
- 26 Joyal's letter to Grothendieck
- 18 History of integral notation for coends
- 14 Is there any references on the tensor product of presentable (1-)categories?
- 14 Day convolution intuition
- 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 →