From Finite Sets to Feynman Diagrams