See the [[nLab:David Roberts|nLab page]]. [[nlab:David Roberts]] category:people