а в чем смысл диаграмм тогда? Это просто множество объектов
Множество объектов и стрелок, если точнее. А смысл как раз в том, что над диаграммами можно строить конусы, ко-конусы и много всякого другого интересного, а ещё они просто бывают коммутативные, что тоже интересно