sheaf extension