Diagrama (teoría de categorías)