Corrigendum and addenda to the paper “Convenient vector spaces embed...”
De l'infinitésimal au local (Thèse de Doctorat d'État)
Differential forms with values in groups (preliminary report)
Double vector spaces
Erratum to “Convenient vector spaces embed into the Cahiers topos”
Finite closed coverings of compact quantum spaces
We consider the poset of all non-empty finite subsets of the set of natural numbers, use the poset structure to topologise it with the Alexandrov topology, and call the thus obtained topological space the universal partition space. Then we show that it is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over this partition space. In technical terms, we prove that the category of finitely supported...
Formal manifolds and synthetic theory of jet bundles
Generalized manifolds
Infinitesimal aspects of the Laplace operator.
Infinitésimaux et intuitionnisme
Le topos étale réel d'un anneau
Logical opens of exponential objects
Models for synthetic supergeometry
Models of differential algebra in the context of synthetic differential geometry
Morphisms between spaces of leaves viewed as fractions
Natural transformations in differential geometry
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.