arXivmath/0612435MaRDI QIDQ6478439
Anders Kock
Publication date: 15 December 2006
Mathematics Subject Classification ID
Synthetic differential geometry (51K10)