git rm $(git ls-files --deleted)
Add a diagram for pullback and pushforward