Partial toposes.
Product preserving bundle functors on fibered fibered manifolds
We investigate the category of product preserving bundle functors defined on the category of fibered fibered manifolds. We show a bijective correspondence between this category and a certain category of commutative diagrams on product preserving bundle functors defined on the category ℳ f of smooth manifolds. By an application of the theory of Weil functors, the latter category is considered as a category of commutative diagrams on Weil algebras. We also mention the relation with natural transformations...
Profinite relational structures