Added File forgotten with last Commit
Discussion of the Join Precosheaf
Removed a somewhat vague Statement