Функтора - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Этого достаточно, чтобы показать, что правые производные функторы любого левого точного функтора существуют и уникальны вплоть до канонического изоморфизма. |
This is enough to show that right derived functors of any left exact functor exist and are unique up to canonical isomorphism. |
В этом случае термин может быть выражением над целыми числами, константой или применением функтора над другими терминами. |
In this case, a term can be an expression over integers, a constant, or the application of a functor over other terms. |
Когда Y замкнуто в X, когомологии с поддержкой в Y могут быть определены как производные функторы функтора. |
When Y is closed in X, cohomology with support in Y can be defined as the derived functors of the functor. |
Таким образом, применение функтора L дважды превращает предварительный пучок в пучок, и фактически LLF является связанным пучком aF. |
Applying the functor L twice therefore turns a presheaf into a sheaf, and in fact LLF is the associated sheaf aF. |
Универсальный элемент можно рассматривать как универсальный морфизм от одноточечного множества {•} до функтора F или как исходный объект в категории элементов F. |
A universal element may be viewed as a universal morphism from the one-point set {•} to the functor F or as an initial object in the category of elements of F. |
Такая Переменная не может принимать в качестве значения член, составленный из функтора, применяемого к другим терминам. |
Such a variable cannot take a term made of a functor applied to other terms as a value. |
Напомним, что мы также можем выразить пучок как особый вид функтора. |
Recall that we could also express a sheaf as a special kind of functor. |
Монада списка естественно демонстрирует, как получение монады из более простого функтора может оказаться полезным. |
The List monad naturally demonstrates how deriving a monad from a simpler functor can come in handy. |
Этого достаточно, чтобы показать, что правые производные функторы любого левого точного функтора существуют и уникальны вплоть до канонического изоморфизма. |
The majority of people state that their primary source of information about adoption comes from friends and family and the news media. |
Семейство языков программирования ML поддерживает универсальное Программирование с помощью параметрического полиморфизма и универсальных модулей, называемых функторами. |
The ML family of programming languages support generic programming through parametric polymorphism and generic modules called functors. |
В дополнение к функторам типа класса в C++возможны и другие типы объектов функций. |
In addition to class type functors, other kinds of function objects are also possible in C++. |
Стрелка между двумя функторами является естественным преобразованием, когда она подчиняется определенным условиям естественности или коммутативности. |
An arrow between two functors is a natural transformation when it is subject to certain naturality or commutativity conditions. |
Естественное преобразование - это отношение между двумя функторами. |
A natural transformation is a relation between two functors. |
Функциональные объекты часто называются функторами. |
Function objects are often called functors. |