вот что за μ

Чего мне не хватало, так это конструктивности.

( Read more... )

А вот здесь возник вопрос: когда определена универсальность стрелок, имеется в виду "среди образов всех C-стрелок существует единственная D-стрелка ..." или имеется в виду "среди всех D-стрелок существует единственная, и та является образом C-стрелки"?

Ну и ещё нужно будет пожевать, что происходит с D-стрелками между объектами, которым нет соответствия в категории C.