1. Adams, W.W., Loustaunau, P.: An Introduction to Grobner Bases. American Mathematical Society, Providence (1994)
2. Borceux, F.: Handbook of Categorical Algebra 1. Cambridge University Press, Cambridge (1994)
3. Bunge, M., Sawyer, P.: On connections, geodesics and sprays in synthetic differential geometry. Cah. Topol. Geom. Differ. 25, 221–258 (1984)
4. Isham, C.J., Butterfield, J.: Some possible roles for topos theory in quantum theory and quantum gravity. Found. Phys. 30, 1707–1735 (2000)
5. London Mathematical Society Lecture Note Series;A. Kock,1981