Функтор - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Напротив, забывчивый функтор сверху донизу не является консервативным, потому что не каждая непрерывная биекция является гомеоморфизмом. |
In contrast, the forgetful functor from Top to Set is not conservative because not every continuous bijection is a homeomorphism. |
Хранилище ограничений не удовлетворяется, если переменная обязана принимать как значение конкретной области, так и функтор, применяемый к терминам. |
The constraint store is unsatisfiable if a variable is bound to take both a value of the specific domain and a functor applied to terms. |
Существует функтор из категории CRing to Ring, который забывает аксиому коммутативности, но сохраняет все операции. |
There is a functor from the category CRing to Ring that forgets the axiom of commutativity, but keeps all the operations. |
Поскольку многие структуры в математике состоят из множества с дополнительной добавленной структурой, забывчивый функтор, который сопоставляется с базовым множеством, является наиболее распространенным случаем. |
Because many structures in mathematics consist of a set with an additional added structure, a forgetful functor that maps to the underlying set is the most common case. |
В следующем примере функтор используется для сортировки простой базы данных сотрудников по идентификационному номеру каждого сотрудника. |
In the following example, a functor is used to sort a simple employee database by each employee's ID number. |
Конкретные категории имеют забывчивые функторы к категории множеств-действительно, они могут быть определены как те категории, которые допускают верный функтор к этой категории. |
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. |
Как понятие монады, так и термин первоначально пришли из теории категорий, где она определяется как функтор с дополнительной структурой. |
Both the concept of a monad and the term originally come from category theory, where it is defined as a functor with additional structure. |
Функтор f* от Пучков на X до Пучков на Y является левым точным, но в целом не правым точным. |
The functor f* from sheaves on X to sheaves on Y is left exact, but in general not right exact. |
В математике, в частности в теории категорий, представимый функтор - это определенный функтор из произвольной категории в категорию множеств. |
In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. |
У нас есть забывчивый функтор Ab → Set, который присваивает каждой абелевой группе базовое множество, а каждому групповому гомоморфизму базовую функцию. |
We have a forgetful functor Ab → Set which assigns to each abelian group the underlying set, and to each group homomorphism the underlying function. |
Этот функтор имеет левую сопряженность, которая помещает топологию Александрова на предварительно упорядоченное множество. |
This functor has a left adjoint which places the Alexandrov topology on a preordered set. |
Функтором третьего рода является функтор Mod → Ab, Где Mod-это волокнистая категория всех модулей над произвольными кольцами. |
A functor of the third kind is the functor Mod → Ab, where Mod is the fibred category of all modules over arbitrary rings. |
Это превращает конструкцию в функтор. |
This makes the construction into a functor. |
Чтобы понять, какую мощность функтор обеспечивает больше, чем регулярная функция, рассмотрим общий случай использования сортировки объектов по определенному полю. |
To understand what power a functor provides more than a regular function, consider the common use case of sorting objects by a particular field. |
Этого достаточно, чтобы показать, что правые производные функторы любого левого точного функтора существуют и уникальны вплоть до канонического изоморфизма. |
This is enough to show that right derived functors of any left exact functor exist and are unique up to canonical isomorphism. |
Теперь эти две процедуры уже продвигают список к прикладному функтору. |
Now, these two procedures already promote List to an applicative functor. |
В этом случае термин может быть выражением над целыми числами, константой или применением функтора над другими терминами. |
In this case, a term can be an expression over integers, a constant, or the application of a functor over other terms. |
Напомним, что мы также можем выразить пучок как особый вид функтора. |
Recall that we could also express a sheaf as a special kind of functor. |
Семейство языков программирования ML поддерживает универсальное Программирование с помощью параметрического полиморфизма и универсальных модулей, называемых функторами. |
The ML family of programming languages support generic programming through parametric polymorphism and generic modules called functors. |
Стрелка между двумя функторами является естественным преобразованием, когда она подчиняется определенным условиям естественности или коммутативности. |
An arrow between two functors is a natural transformation when it is subject to certain naturality or commutativity conditions. |
Универсальный элемент можно рассматривать как универсальный морфизм от одноточечного множества {•} до функтора 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. |
Как стандартные ML, так и OCaml предоставляют функторы, которые похожи на шаблоны классов и универсальные пакеты Ada. |
Both Standard ML and OCaml provide functors, which are similar to class templates and to Ada's generic packages. |
Что касается областей вещественных чисел, то функторы могут использоваться с областями целых чисел. |
As for domains of reals, functors can be used with domains of integers. |
Функциональные объекты часто называются функторами. |
Function objects are often called functors. |
В дополнение к функторам типа класса в C++возможны и другие типы объектов функций. |
In addition to class type functors, other kinds of function objects are also possible in C++. |
В этом языке морфизм Пучков является естественным преобразованием соответствующих функторов. |
In this language, a morphism of sheaves is a natural transformation of the corresponding functors. |
Этого достаточно, чтобы показать, что правые производные функторы любого левого точного функтора существуют и уникальны вплоть до канонического изоморфизма. |
The majority of people state that their primary source of information about adoption comes from friends and family and the news media. |
Эта конструкция превращает все пучки в представимые функторы на определенных категориях топологических пространств. |
This construction makes all sheaves into representable functors on certain categories of topological spaces. |
Это требовало определения функторов, которые требовали категорий. |
That required defining functors, which required categories. |
Естественное преобразование - это отношение между двумя функторами. |
A natural transformation is a relation between two functors. |
Монада списка естественно демонстрирует, как получение монады из более простого функтора может оказаться полезным. |
The List monad naturally demonstrates how deriving a monad from a simpler functor can come in handy. |
Функторы представлены стрелками между категориями, подчиняющимися определенным определяющим условиям коммутативности. |
Functors are represented by arrows between categories, subject to specific defining commutativity conditions. |
Монады используются в теории пар сопряженных функторов, и они обобщают операторы замыкания на частично упорядоченных множествах на произвольные категории. |
Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories. |
Функторы - это сохраняющие структуру отображения между категориями. |
Functors are structure-preserving maps between categories. |
Эти функторы и некоторые их варианты являются существенными частями теории Пучков. |
These functors, and certain variants of them, are essential parts of sheaf theory. |
Эти функторы все еще верны, однако, потому что различные морфизмы, которые действительно уважают структуру, все еще различны, когда структура забыта. |
These functors are still faithful however because distinct morphisms that do respect the structure are still distinct when the structure is forgotten. |
Таким образом, применение функтора L дважды превращает предварительный пучок в пучок, и фактически LLF является связанным пучком aF. |
Applying the functor L twice therefore turns a presheaf into a sheaf, and in fact LLF is the associated sheaf aF. |
Компактно поддерживаемые когомологии не являются функториальными по отношению к произвольным непрерывным отображениям. |
Compactly supported cohomology is not functorial with respect to arbitrary continuous maps. |
Когда Y замкнуто в X, когомологии с поддержкой в Y могут быть определены как производные функторы функтора. |
When Y is closed in X, cohomology with support in Y can be defined as the derived functors of the functor. |
Такая Переменная не может принимать в качестве значения член, составленный из функтора, применяемого к другим терминам. |
Such a variable cannot take a term made of a functor applied to other terms as a value. |
- antidual функтор - antidual functor
- biadditive функтор - biadditive functor
- абелизовать функтор - abelianizing functor
- Агрегация сохраняя функтор - aggregation preserving functor
- аддитивный функтор - additive functor
- бинарный функтор - binary functor
- алгебраический функтор - algebraic functor
- амнестическое функтор - amnestic functor
- вспомогательный функтор - auxiliary functor
- модальный функтор - modal functor
- точный справа функтор - right exact functor
- точный слева функтор - left-exact functor
- полуточный функтор - half-exact functor
- сингулярный функтор - singular functor
- функтор сингулярных гомологий - singular homology functor
- разрешимый функтор - solvable functor
- функтор геометрической реализации - geometric realization functor
- сбалансированный функтор - balanced functor
- функтор мотивных когомологий - motive cohomology functor
- резольвентный функтор - resolvent functor
- числовой функтор - numerical functor
- продолженный функтор - prolonged functor
- нульместный функтор - zero-argument functor
- функтор переноса - translation functor
- пренебрегающий функтор - forgetful functor
- экономичный функтор - economical functor
- функтор нормализации - normalization functor
- транспортабельный функтор - transportable functor
- строго точный функтор - faithfully exact functor
- теоретико-множественный функтор - set-valued functor