General Jacobi identity revisited (Q1805733)

This paper explores the Jacobi identity in the context of synthetic differential geometry (SDG). It uses the theory of microsquares originally developed by \textit{A. Kock} and \textit{R. Lavendhomme} [Cah. Topologie Géom. Différ. 25, 311-324 (1984; Zbl 0564.18009)] to study the Lie bracket for vector fields in SDG. Their work was developed further by the author [Int. J. Theor. Phys. 36, No. 5, 1099-1131 (1997; Zbl 0884.18014)], where he proved a generalized Jacobi identity. The paper under review seeks to redo the proof in a more intuitive and clearer fashion. It is essentially a diagram chasing argument once set up properly with some rather elaborate calculations, as might be expected.