Solution of the vacuum Einstein equations in Synthetic Differential Geometry of Kock-Lawvere

Alexander K. Guts, Artem A. Zvyagintsev

The topos theory is a theory which is used for deciding a number of problems of theory of relativity, gravitation and quantum physics. It is known that topos-theoretic geometry can…