FUNCTOR на Русском - Русский перевод

• функтор
• функтора
• функтором
• функторе

Примеры использования Functor на Английском языке и их переводы на Русский язык

It can be seen as a functor in two arguments.
Бифунктор- это функтор от двух аргументов.

Let c be an object of the category C, and consider the functor Hom-, c.
Пусть c- объект C, рассмотрим функтор Hom-, c.

Not every functor G: C→ D admits a left adjoint.
Не каждый функтор G: C→ D имеет левый или правый сопряженный.

Flat resolutions can be used to compute the Tor functor.
Плоские резольвенты используются при вычислении функтора Tor.

This functor is left exact, but not necessarily right exact.
Этот функтор точен слева, но, вообще говоря, не точен справа.

Let C be a category, and let F be a contravariant functor from C to the category of sets Set.
Пусть C- категория и F- функтор из C в категорию множеств Set.

The functor FA is exact if and only if A is projective.
Этот функтор является точным тогда и только тогда, когда A{\ displaystyle A} проективен.

In other words, there is a contravariant functor that gives an equivalence between the categories.
Иными словами, между этими категориями существует контравариантный функтор.

This functor takes an object c′ of C and gives back all of the morphisms c′→c.
Этот функтор сопоставляет объекту c′ категории C все морфизмы c′→ c.

Here, S{\displaystyle S} has domain 1 and T{\displaystyle T} is an identity functor.
Здесь S{\ displaystyle S}- функтор из 1 и T{\ displaystyle T}- тождественный функтор.

A functor to the comma category selects that particular collection of morphisms.
Функтор в категорию запятой может выбрать конкретное семейство морфизмов.

The fact that there does not exist any faithful functor from hTop to Set was first proven by Peter Freyd.
Отсутствие строгого функтора из hTop в Set было доказано Питером Фрейдом в 1970 году.

A functor whose domain is a product category is known as a bifunctor.
Функтор, область определения которого- категория произведения, называется бифунктором.

The main problem is to prove a signalizer functor theorem for nonsolvable signalizer functors..
Главная задача- доказать теорему о сигнализаторном функторе для неразрешимых сигнализаторных функторов..

A multifunctor is a generalization of the functor concept to n variables.
Мультифунктор- это обобщение понятия бифунктора на n{\ displaystyle n} переменных.

In mathematics, specifically in category theory, an F{\displaystyle F}-coalgebra is a structure defined according to a functor F{\displaystyle F.
В теории категорий F{\ displaystyle F}- алгебра- это алгебраическая структура, связанная с функтором F{\ displaystyle F.

The divided power functor is used in the construction of co-Schur functors..
Функтор разделенных степеней используется при построении кофункторов Шура.

The exponential Z Y{\displaystyle Z^{Y}} is given by a universal morphism from the product functor-× Y{\displaystyle-\times Y} to the object Z{\displaystyle Z.
Тогда экспоненциал Z Y{\ displaystyle Z^{ Y}} можно определить как универсальный морфизм из функтора× Y{\ displaystyle\ times Y} в Z{\ displaystyle Z.

Every functor F: D→ E induces a functor FC: DC→ EC by composition with F.
Каждый функтор F: D→ E индуцирует функтор FC: DC→ EC путем композиции с F.

One may also start with a contravariant left-exact functor F; the resulting right-derived functors are then also contravariant.
Мы также можем начинать с контравариантного точного слева функтора F; получающиеся правые производные функторы тогда также будут контравариантны.

The Hom functor is a natural example; it is contravariant in one argument, covariant in the other.
Естественный пример- функтор Hom, он ковариантен по одному аргументу и контравариантен по другому.

One also talks about injective objects in categories more general than module categories, for instance in functor categories or in categories of sheaves of OX-modules over some ringed space X.
Рассматривают также инъективные объекты в более общих категориях, например в категориях функторов или в категориях пучков модулей.

The direct image functor is the primary operation on sheaves, with the simplest definition.
Функтор прямого образа является первичной операцией на пучках, с простым определением.

It takes a presheaf F and produces a new sheaf aF called the sheaving, sheafification or sheaf associated to the presheaf F. The functor a is called the sheaving functor, sheafification functor, or associated sheaf functor..
Возьмем предпучок F{\ displaystyle F} и построим новый пучок a F{\ displaystyle aF}, называемый пучком, ассоциированным с предпучком F{\ displaystyle F}. a{\ displaystyle a} называется функтором ассоциированного пучка англ. sheaving functor, sheafification functor, associated sheaf functor.

Due to this circumstance, a functor with these properties is sometimes called a weak equivalence of categories.
Поэтому функтор F с такими свойствами иногда называют слабой эквивалентностью категорий.

In this way, Spec{\displaystyle\operatorname{Spec}} can be seen as a contravariant functor from the category of commutative rings to the category of topological spaces.
Из этого следует, что Spec{\ displaystyle\ operatorname{ Spec}} является контравариантным функтором из категории коммутативных колец в категорию топологических пространств.

Note that a functor of the form Hom(-, A): Cop→ Set is a presheaf; likewise, Hom(A,-) is a copresheaf.
Функтор вида Hom(-, C): Cop→ Set является предпучком; соответственно, Hom( C,-) можно называть копредпучком.

The Schreier conjecture The Signalizer functor theorem The B conjecture The Schur-Zassenhaus theorem for all groups though this only uses the Feit-Thompson theorem.
Гипотеза Шрайера Теорема о сигнализаторном функторе B- гипотеза Теорема Шура- Затценхауса для всех групп хотя она использует только теорему Томпсона- Фейта.

This functor makes it possible to think of the objects of the category as sets with additional structure, and of its morphisms as structure-preserving functions.
Благодаря этому функтору можно оперировать с объектами такой категории образом, сходным с работой с множествами с дополнительной структурой, а морфизмы представлять как функции, сохраняющие дополнительную структуру.

A strict monoidal functor is a monoidal functor whose coherence maps are identities.
Строго моноидальный функтор- это моноидальный функтор, структурные морфизмы которого тождественны.