Cohomology Theories In Synthetic Differential Geometry.
This paper is a continuation of [2], dealing with a general, not-necessarily torsion-free, connection. It characterizes all possible systems of generators for vector-field valued operators that depend naturally on a set of vector fields and a linear connection, describes the size of the space of such operators and proves the existence of an ‘ideal’ basis consisting of operators with given leading terms which satisfy the (generalized) Bianchi–Ricci identities without corrections.
A well known theorem of Herman-Thurston states that the identity component of the group of diffeomorphisms of a boundaryless manifold is perfect and simple. We generalize this result to manifolds with boundary. Remarks on -diffeomorphisms are included.