Biadditive functor - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
additive functor - аддитивный функтор
abelianizing functor - абелизовать функтор
adjoint functor - сопряженный
aggregation preserving functor - Агрегация сохраняя функтор
algebraic functor - алгебраический функтор
antidual functor - antidual функтор
auxiliary functor - вспомогательный функтор
biadditive functor - biadditive функтор
binary functor - бинарный функтор
motive cohomology functor - функтор мотивных когомологий
Синонимы к functor: according, against, depending, entrant, function, incumbent, light, operator, organizer, player
Значение functor: a function word.
In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. |
В математике, в частности в теории категорий, представимый функтор - это определенный функтор из произвольной категории в категорию множеств. |
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 this case, the shortened term functor is normally not used about the function object. |
В этом случае укороченный термин functor обычно не используется в отношении объекта функции. |
The functor f* from sheaves on X to sheaves on Y is left exact, but in general not right exact. |
Функтор f* от Пучков на X до Пучков на Y является левым точным, но в целом не правым точным. |
There are however several libraries for distributed computing such as Functory and ocamlnet/Plasma. |
Однако существует несколько библиотек для распределенных вычислений, таких как Functory и ocamlnet/Plasma. |
Функциональные объекты часто называются функторами. |
|
The abstract framework for defining cohomology and derived functors does not need them. |
Кроме того, bona fides будет организован для оказания помощи в проникновении в целевую организацию. |
Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories. |
Монады используются в теории пар сопряженных функторов, и они обобщают операторы замыкания на частично упорядоченных множествах на произвольные категории. |
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. |
Хранилище ограничений не удовлетворяется, если переменная обязана принимать как значение конкретной области, так и функтор, применяемый к терминам. |
In addition to class type functors, other kinds of function objects are also possible in C++. |
В дополнение к функторам типа класса в C++возможны и другие типы объектов функций. |
The List monad naturally demonstrates how deriving a monad from a simpler functor can come in handy. |
Монада списка естественно демонстрирует, как получение монады из более простого функтора может оказаться полезным. |
Since there is no standard way to make funcallable objects in Lisp, we fake it by defining a generic function called FUNCTOR-CALL. |
Поскольку в Lisp нет стандартного способа создания funcallable объектов, мы подделываем его, определяя универсальную функцию, называемую FUNCTOR-CALL. |
In this language, a morphism of sheaves is a natural transformation of the corresponding functors. |
В этом языке морфизм Пучков является естественным преобразованием соответствующих функторов. |
Both the concept of a monad and the term originally come from category theory, where it is defined as a functor with additional structure. |
Как понятие монады, так и термин первоначально пришли из теории категорий, где она определяется как функтор с дополнительной структурой. |
Such a variable cannot take a term made of a functor applied to other terms as a value. |
Такая Переменная не может принимать в качестве значения член, составленный из функтора, применяемого к другим терминам. |
Compactly supported cohomology is not functorial with respect to arbitrary continuous maps. |
Компактно поддерживаемые когомологии не являются функториальными по отношению к произвольным непрерывным отображениям. |
Functors are represented by arrows between categories, subject to specific defining commutativity conditions. |
Функторы представлены стрелками между категориями, подчиняющимися определенным определяющим условиям коммутативности. |
We have a forgetful functor Ab → Set which assigns to each abelian group the underlying set, and to each group homomorphism the underlying function. |
У нас есть забывчивый функтор Ab → Set, который присваивает каждой абелевой группе базовое множество, а каждому групповому гомоморфизму базовую функцию. |
A functor of the third kind is the functor Mod → Ab, where Mod is the fibred category of all modules over arbitrary rings. |
Функтором третьего рода является функтор Mod → Ab, Где Mod-это волокнистая категория всех модулей над произвольными кольцами. |
Both Standard ML and OCaml provide functors, which are similar to class templates and to Ada's generic packages. |
Как стандартные ML, так и OCaml предоставляют функторы, которые похожи на шаблоны классов и универсальные пакеты Ada. |
These functors, and certain variants of them, are essential parts of sheaf theory. |
Эти функторы и некоторые их варианты являются существенными частями теории Пучков. |
When Y is closed in X, cohomology with support in Y can be defined as the derived functors of the functor. |
Когда Y замкнуто в X, когомологии с поддержкой в Y могут быть определены как производные функторы функтора. |
Applying the functor L twice therefore turns a presheaf into a sheaf, and in fact LLF is the associated sheaf aF. |
Таким образом, применение функтора L дважды превращает предварительный пучок в пучок, и фактически LLF является связанным пучком aF. |
A natural transformation is a relation between two functors. |
Естественное преобразование - это отношение между двумя функторами. |
This construction makes all sheaves into representable functors on certain categories of topological spaces. |
Эта конструкция превращает все пучки в представимые функторы на определенных категориях топологических пространств. |
Now, these two procedures already promote List to an applicative functor. |
Теперь эти две процедуры уже продвигают список к прикладному функтору. |
This is enough to show that right derived functors of any left exact functor exist and are unique up to canonical isomorphism. |
Этого достаточно, чтобы показать, что правые производные функторы любого левого точного функтора существуют и уникальны вплоть до канонического изоморфизма. |
This functor has a left adjoint which places the Alexandrov topology on a preordered set. |
Этот функтор имеет левую сопряженность, которая помещает топологию Александрова на предварительно упорядоченное множество. |
To understand what power a functor provides more than a regular function, consider the common use case of sorting objects by a particular field. |
Чтобы понять, какую мощность функтор обеспечивает больше, чем регулярная функция, рассмотрим общий случай использования сортировки объектов по определенному полю. |
In the following example, a functor is used to sort a simple employee database by each employee's ID number. |
В следующем примере функтор используется для сортировки простой базы данных сотрудников по идентификационному номеру каждого сотрудника. |
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. |
Универсальный элемент можно рассматривать как универсальный морфизм от одноточечного множества {•} до функтора F или как исходный объект в категории элементов F. |
There is a functor from the category CRing to Ring that forgets the axiom of commutativity, but keeps all the operations. |
Существует функтор из категории CRing to Ring, который забывает аксиому коммутативности, но сохраняет все операции. |
In contrast, the forgetful functor from Top to Set is not conservative because not every continuous bijection is a homeomorphism. |
Напротив, забывчивый функтор сверху донизу не является консервативным, потому что не каждая непрерывная биекция является гомеоморфизмом. |
The ML family of programming languages support generic programming through parametric polymorphism and generic modules called functors. |
Семейство языков программирования ML поддерживает универсальное Программирование с помощью параметрического полиморфизма и универсальных модулей, называемых функторами. |
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. |
Конкретные категории имеют забывчивые функторы к категории множеств-действительно, они могут быть определены как те категории, которые допускают верный функтор к этой категории. |
These functors are still faithful however because distinct morphisms that do respect the structure are still distinct when the structure is forgotten. |
Эти функторы все еще верны, однако, потому что различные морфизмы, которые действительно уважают структуру, все еще различны, когда структура забыта. |
Recall that we could also express a sheaf as a special kind of functor. |
Напомним, что мы также можем выразить пучок как особый вид функтора. |
This makes the construction into a functor. |
Это превращает конструкцию в функтор. |
As for domains of reals, functors can be used with domains of integers. |
Что касается областей вещественных чисел, то функторы могут использоваться с областями целых чисел. |
In this case, a term can be an expression over integers, a constant, or the application of a functor over other terms. |
В этом случае термин может быть выражением над целыми числами, константой или применением функтора над другими терминами. |
An arrow between two functors is a natural transformation when it is subject to certain naturality or commutativity conditions. |
Стрелка между двумя функторами является естественным преобразованием, когда она подчиняется определенным условиям естественности или коммутативности. |
Functors are structure-preserving maps between categories. |
Функторы - это сохраняющие структуру отображения между категориями. |
Это требовало определения функторов, которые требовали категорий. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «biadditive functor».
А именно, здесь можно найти перевод (значение) «biadditive functor» на русском языке, синонимы, антонимы, краткое определение слов: biadditive, functor , а также произношение и транскрипцию к «biadditive functor». Также, к фразе «biadditive functor» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.