Встраивание
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее […]
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее […]
Продукт Yoneda Определение произведения Йонеды Произведение Йонеды — это сопряжение между внешними группами модулей. Оно определяется как внешний функтор, который