%0 Generic %A Kock, Anders. %@ 0521687381 %T Synthetic differential geometry / %7 2nd ed.