Honorary Postdoctoral researcher in Category theory
Centre of Australian Category Theory (CoACT) @ Macquarie University