PROREPRESENTABLE FUNCTOR

Англо-русский перевод PROREPRESENTABLE FUNCTOR

мат. пропредставимый функтор

Big English-Russian dictionary . Большой Англо-Русский словарь. 2012

PROREPRESENTABLE FUNCTOR — матем. пропредставимый функтор
Англо-Русский научно-технический словарь
PROREPRESENTABLE FUNCTOR — мат. пропредставимый функтор
Новый большой Англо-Русский словарь
FUNCTOR — noun Date: 1935 something that performs a function or an operation
Толковый словарь английского языка - Merriam Webster
FUNCTOR — I. ˈfəŋ(k)tə(r) noun ( -s ) Etymology: New Latin, from Latin functus (past participle of fungi to perform) + New …
Webster's New International English Dictionary
FUNCTOR — /fungk"teuhr/ , n. 1. that which functions. 2. Ling. a function word or affix. Cf. contentive . [ 1935-40; FUNCT(ION) …
Random House Webster's Unabridged English Dictionary
FUNCTOR — noun Date: 1935 : something that performs a function or an operation
Merriam-Webster's Collegiate English vocabulary
FUNCTOR — [ 'fʌŋktə ] ■ noun Logic & Mathematics a function; an operator.
Concise Oxford English vocab
FUNCTOR — [func.tor] n (1935): something that performs a function or an operation
Merriam-Webster English vocab
FUNCTOR — functor BrE AmE ˈfʌŋ k t ə AmE \ - ə r ▷ functor|s z
Longman Pronunciation English Dictionary
FUNCTOR — / ˈfʌŋktə(r); NAmE / noun 1. ( mathematics ) a function or a symbol such as + or × 2. …
Oxford Advanced Learner's English Dictionary
FUNCTOR — In category theory , a functor F is an operator on types. F is also considered to be a polymorphic …
FOLDOC Computer English Dictionary
FUNCTOR — (математика) функтор (обозначение не лексического значения, а структуры) conversion ~ функтор преобразования functor вчт. функтор principal ~ главный функтор unary …
Большой Англо-Русский словарь
FUNCTOR — Логическая операция
Американский Англо-Русский словарь
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FUNCTOR — матем. функтор - aggregation preserving functor - colimit preserving functor - completely univalent functor - complex functor - composite functor - contracted functor - contractor functor - faithfully exact …
Англо-Русский научно-технический словарь
FUNCTOR — функтор
Англо-Русский словарь Tiger
FUNCTOR — (n) функтор
English-Russian Lingvistica'98 dictionary
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Новый большой Англо-Русский словарь - Апресян, Медникова
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Большой новый Англо-Русский словарь
FUNCTOR — 1) функциональный (логический) элемент (выполняющий определённую функцию ) 2) матем. функтор
Англо-Русский словарь по компьютерам
FUNCTOR — 1) функциональный (логический) элемент (выполняющий определённую функцию) 2) матем. функтор
Англо-Русский словарь по вычислительной технике и программированию
FUNCTOR — 1) функциональный (логический) элемент ( выполняющий определенную функцию ) 2) функтор
Англо-Русский словарь компьютерных терминов
FUNCTOR — функциональный элемент, функтор элемент, выполняющий в языке программирования определенную функцию (роль) A functor in Visual Prolog is just a name that identifies …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
FUNCTOR — (математика) функтор (обозначение не лексического значения, а структуры) conversion ~ функтор преобразования functor вчт. функтор principal ~ главный функтор unary …
Новый большой Англо-Русский словарь
FUNCTOR — функтор
Англо-Русский словарь
STRONGLY DEFINABLE FUNCTOR — строго определимый функтор zero-argument functor univalent functor unary functor two-place functor twisting functor truth functor triadic functor transportable functor translation functor term functor tangent functor surjective functor sum functor subrepresentable functor structure functor stripping functor statement functor star …
Англо-Русский научно-технический словарь
STRICTLY PROREPRESENTABLE — мат. строго пропредставимый
Большой Англо-Русский словарь
STRICTLY PROREPRESENTABLE — матем. строго пропредставимый
Англо-Русский научно-технический словарь
STRICTLY PROREPRESENTABLE — мат. строго пропредставимый
Новый большой Англо-Русский словарь
ПРЕДСТАВЛЯЮЩИЙ — adj. representing, representative; представляющий функтор, represented functor, functor Hom(X,)
Russian-English Dictionary of the Mathematical Sciences
UNIVALENT — 1) одновалентный 2) однолистный 3) однозначный ∙ completely univalent functor ≈ вполне унивалентный функтор univalent system of notation ≈ унивалентная …
Большой Англо-Русский словарь
N-МЕСТНЫЙ ФУНКТОР — мат. n-argument functor, n-place functor
Большой Англо-Русский словарь
HOMOLOGY — 1) гомология 2) гомологический 3) гомологичность ∙ absolute homology module ≈ модуль абсолютной гомологии adjusted homology sequence ≈ топогр. последовательность …
Большой Англо-Русский словарь
RIGHT
Англо-Русский научно-технический словарь
PRESERVING — 1) консервировка 2) консервирующий 3) сохраняющий • aggregation preserving functor — сохраняющий объединения функтор angle preserving projection — проекция, сохраняющая углы angle preserving transformation — сохраняющее …
Англо-Русский научно-технический словарь
СТРОГО ПРОПРЕДСТАВИМЫЙ — мат. strictly prorepresentable
Большой Русско-Английский словарь
ПРОПРЕДСТАВИМЫЙ ФУНКТОР — мат. prorepresentable functor
Большой Русско-Английский словарь
ЗАБЫВАЮЩИЙ ФУНКТОР — мат. amnestic functor, effacable functor, forgetful functor, stripping functor
Большой Русско-Английский словарь
HOMOLOGY — 1) гомология 2) гомологический 3) гомологичность ∙ absolute homology module ≈ модуль абсолютной гомологии adjusted homology sequence ≈ топогр. последовательность …
Новый большой Англо-Русский словарь

Большой Англо-Русский словарь

← PRORE PROREPRESENTATION SYSTEM→