Т.е. скажем, чтоб было понятно, о чем я -- в идеале, никаких коммутативных диаграмм из категорий и функторов вообще не должно быть. Квадраты еще ок, но как только что-либо более сложное, надо честно определять категорию стрелок диаграммы, и строить расслоенную категорию над ней.

Но это не проблема на самом деле. Я, скажем, давно понял, что если вылезает сложная коммутативная диаграмма, то это я дурак не до конца разобрался. И принципиально использую только amscd.