Added the definition of a sheaf of groups.