Функторы - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Конкретные категории имеют забывчивые функторы к категории множеств-действительно, они могут быть определены как те категории, которые допускают верный функтор к этой категории. |
Concrete categories have forgetful functors to the category of sets—indeed they may be defined as those categories that admit a faithful functor to that category. |
Функторы представлены стрелками между категориями, подчиняющимися определенным определяющим условиям коммутативности. |
Functors are represented by arrows between categories, subject to specific defining commutativity conditions. |
Эти функторы все еще верны, однако, потому что различные морфизмы, которые действительно уважают структуру, все еще различны, когда структура забыта. |
These functors are still faithful however because distinct morphisms that do respect the structure are still distinct when the structure is forgotten. |
Как стандартные ML, так и OCaml предоставляют функторы, которые похожи на шаблоны классов и универсальные пакеты Ada. |
Both Standard ML and OCaml provide functors, which are similar to class templates and to Ada's generic packages. |
Когда Y замкнуто в X, когомологии с поддержкой в Y могут быть определены как производные функторы функтора. |
When Y is closed in X, cohomology with support in Y can be defined as the derived functors of the functor. |
Эти функторы и некоторые их варианты являются существенными частями теории Пучков. |
These functors, and certain variants of them, are essential parts of sheaf theory. |
Что касается областей вещественных чисел, то функторы могут использоваться с областями целых чисел. |
As for domains of reals, functors can be used with domains of integers. |
Эта конструкция превращает все пучки в представимые функторы на определенных категориях топологических пространств. |
This construction makes all sheaves into representable functors on certain categories of topological spaces. |
Этого достаточно, чтобы показать, что правые производные функторы любого левого точного функтора существуют и уникальны вплоть до канонического изоморфизма. |
This is enough to show that right derived functors of any left exact functor exist and are unique up to canonical isomorphism. |
Этого достаточно, чтобы показать, что правые производные функторы любого левого точного функтора существуют и уникальны вплоть до канонического изоморфизма. |
The majority of people state that their primary source of information about adoption comes from friends and family and the news media. |
Функторы - это сохраняющие структуру отображения между категориями. |
Functors are structure-preserving maps between categories. |