51K05 General theory 51K10 Synthetic differential geometry 51K99 None of the above, but in this section