Characterizing algebras of -functions on manifolds
Among all -algebras we characterize those which are algebras of -functions on second countable Hausdorff -manifolds.
Combinatorics of curvature, and the Bianchi identity.
Construction d'infinitésimaux
Convergence in some ringed toposes
Distributions and heat equation in
Embedding manifolds with boundary in smooth toposes
Geometric construction of the Levi-Civita parallelism.
Higher-order preconnections in synthetic differential geometry of jet bundles.
Infinitesimal and local structures for Banach spaces and its exponentials in a topos
Pullback and finite coproduct preserving functors between categories of permutation representations.
Pullback and finite coproduct preserving functors between categories of permutation representations: corrigendum and addendum.
Un modèle de filtres pour l'analyse réelle synthétique