Categories for the Working Mathematician | Synapse