Australian category theorist
Member for 4 years, 1 month
4 profile views
Last seen yesterday
Top network posts
- 27 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 →