* [my web page](http://tobybartels.name/) * [my nLab user page](http://ncatlab.org/nlab/show/Toby+Bartels) category: people