Jeremy Butterfield is a Senior Research Fellow at Trinity College, Cambridge and a member of the Faculty of Philosophy.

website

biography (brief)

BV-BRST formalism

Kochen-Specker theorem

Timeline of category theory and related mathematics

reconstruction theorem