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
Petits et gros topos en géométrie algébrique
Product preserving bundle functors on fibered manifolds
The complete description of all product preserving bundle functors on fibered manifolds in terms of natural transformations between product preserving bundle functors on manifolds is given.
Some combinatorial calculus on Lie derivative
Strong infinitesimal linearity, with applications to strong difference and affine connections
Structure morphisms of prolongation functors
Structures de contact, extension du calcul des jets (1ère partie)
Structures de contact, extension du calcul des jets (2ème partie)
Sur les modèles de la géométrie différentielle synthétique
The algebraic theory of moving frames
The Category of Differential Triads
The structure of tangentors and their morphisms
Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body
Un modèle de filtres pour l'analyse réelle synthétique
Unicite de la suite spectrale d'un fibre.
Wedge product of forms in synthetic differential geometry