Australian category theorist
Member for 3 years, 7 months
4 profile views
Last seen Feb 27 at 10:27
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 →