Holonomicity in synthetic differential geometry of jet bundles. Nishimura, Hirokazu — 2003 Beiträge zur Algebra und Geometrie
The affine bundle theorem in synthetic differential geometry of jet bundles. Nishimura, Hirokazu — 2007 Beiträge zur Algebra und Geometrie
Higher-order preconnections in synthetic differential geometry of jet bundles. Nishimura, Hirokazu — 2004 Beiträge zur Algebra und Geometrie
Curvature in synthetic differential geometry of groupoids. Nishimura, Hirokazu — 2008 Beiträge zur Algebra und Geometrie
Synthetic differential geometry of higher-order total differentials Hirokazu Nishimura — 2006 Cahiers de Topologie et Géométrie Différentielle Catégoriques