On a synthetic proof of the Ambrose-Palais-Singer theorem for infinitesimally linear spaces
On analytic models of synthetic differential geometry
On connections, geodesics and sprays in synthetic differential geometry
On involutions of iterated bundle functors
We introduce the concept of an involution of iterated bundle functors. Then we study the problem of the existence of an involution for bundle functors defined on the category of fibered manifolds with m-dimensional bases and of fibered manifold morphisms covering local diffeomorphisms. We also apply our results to prolongation of connections.
On measures in fibre spaces
On some operation on sets of mappings
On the integration theorem for Lie groupoids
On the jets of fibred manifold morphisms
Open covers and infinitary operations in -rings