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