The Weingarten formula decomposes the ambient derivative of a normal field into a tangential shape operator term and the normal connection. The minus sign corresponds to . For the outward unit normal of a unit sphere, with this convention.
New to topics? Read the docs here!