Talk:Synthetic differential geometry