Теория категорий: визуализация через диаграммы