Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleGeneral Jacobi identity revisited again.
Author(s) Hirokazu Nishimura, Takeshi Osoekawa
TypeArticle in Journal
AbstractSynthetic differential geometry occupies a unique position in topos-theoretic physics. Nevertheless it has appeared somewhat too conceptual to physicists in general, partly because it has appeared to lack computational aspects. Its computational facets are really concerned with computation of the quasi-colimit of a finite diagram of infinitesimal spaces, or equivalently, with computation of the limit of a finite diagram of Weil algebras. Indeed we have been forced to do a highly involved computation of the above kind by hand in our previous papers (Nishimura, H. in Int. J. Theor. Phys. 36:10991131, 1997 and Nishimura, H. in Int. J. Theor. Phys. 38:21632174, 1999). The principal objective in this paper is to show that Grö bner bases techniques provide us with means that relegate such computations to computers.
KeywordsWeil algebra, Limit ,Equalizer
ISSN0020-7748; 1572-9575/e
URL http://link.springer.com/article/10.1007%2Fs10773-007-9397-z
JournalInt. J. Theor. Phys.
PublisherSpringer US, New York, NY
Translation No
Refereed No