A graphical approach to elementary category theory