可遗函子
_
forgetful functor
пренебрегающий функтор
пословный:
| 可 | 遗 | 函子 | |
2) однако; в самом деле; в конце концов 3) да вот ...; только вот не знаю... 4) разве [не], неужели [не]; откуда бы, где уж тут |
1) потерять; утратить
2) потерянная вещь
3) оставить (в наследство)
4) физиол. непроизвольно выделять [испускать] (напр., мочу)
|
мат. функтор
|