导出函子
_
производный функтор, производное функтора
derived functor
в русских словах:
производный функтор
导出函子, 导函子
пословный:
| 导出 | 函子 | ||
1) мат. произвести, выводить; производный
2) комп. экспорт, выгрузка (напр. данных)
|
мат. функтор
|