Согласно общему категорному подходу подобъекты определяются через морфизмы. Это, в частности, означает, что понятие нечеткого ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Плоткин Б.И.
Универсальная алгебра, алгебраическая логика и базы данных
Согласно общему категорному подходу подобъекты определяются через морфизмы. Это, в частности, означает, что понятие нечеткого подмножества должно быть производным от понятия нечеткого отображения. С другой стороны, определение отображения предполагает, что как-то определено равенство элементов. Таким образом, определению нечеткого отображения должно предшествовать определение нечеткого равенства.