contravariant.（（圏論において）合成の順序を逆転）とは - 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

contravariant.

contravariant

比較不可機能語

(category theory, of a functor) which reverses composition / (object-oriented programming) Using or relating to contravariance.

日本語の意味

（圏論において）合成の順序を逆転させる性質、つまりファンクターが通常の合成を反対方向に作用することを意味する。 / （オブジェクト指向プログラミングにおいて）逆変性に関する性質、すなわち型のパラメータが引数の方向に逆転（より広い型からより狭い型への変換）する性質を指す。

このボタンはなに？

A contravariant functor sends each morphism to a morphism in the opposite direction, thus reversing composition.

反変関手は各射を逆向きの射に送り、合成を逆にする。

contravariant

(algebra) A bihomogeneous polynomial in dual variables of x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations.

日本語の意味

数学（代数）の文脈において、双対変数（例えば x, y 等の双対）と、ある同次形式の係数からなり、二重斉次性（バイホモジーニアス性）を持つ多項式で、特定の線形変換群の作用下で不変な性質を示す対象を指す。

このボタンはなに？

The contravariant of the binary form is a bihomogeneous polynomial in the dual variables and the form's coefficients that remains invariant under the relevant group of linear transformations.

その二項形式に対応する反変式は、双対変数と形式の係数から成る二重斉次多項式で、対応する線形変換群の下で不変である。

関連語

contravariants

（ plural ）

contravariants

活用形複数形

plural of contravariant

日本語の意味

"contravariants" は "contravariant" の複数形です。

このボタンはなに？

In the lecture, the professor compared contravariants to covariants to clarify their transformation properties.

講義で教授は反変量を共変量と比較して、それらの変換特性を明確にした。

contravariances

活用形複数形

plural of contravariance

日本語の意味

「反変性」（contravariance）の複数形。すなわち、型システムなどで用いられる、関数の引数型が元の型の順序と逆の関係にある性質を指す概念が複数形であることを表す。

このボタンはなに？

In advanced type systems, contravariances often appear when comparing function parameter types across multiple interfaces.

高度な型システムでは、関数のパラメータ型を複数のインターフェース間で比較する際に、反変性の複数形がしばしば現れます。

contravariance

可算名詞不可算名詞

日本語の意味

オブジェクト指向プログラミングにおいて、演算子が作用するデータ型の順序が反転する現象・性質 / 圏論において、合成の順序を反転する関手の性質・概念

このボタンはなに？

演算子が扱うデータ型の順序の逆転は、オブジェクト指向プログラミングにおける関数パラメータのより安全な代入を可能にします。

関連語

contravariances

（ plural ）

contravariant functor

日本語の意味

圏論における対向函手とは、対象と射を扱う函手の一種であり、射 f: X → Y に対してその像 F(f) を F(Y) → F(X) という反対方向の射に写す。つまり、合成 h = g ∘ f に対して F(h) = F(f) ∘ F(g) となるような性質を持つ。

このボタンはなに？

A contravariant functor sends each morphism f: X → Y to a morphism F(f): F(Y) → F(X) such that if h = g ∘ f, then F(h) = F(f) ∘ F(g).

反変関手は各射 f: X → Y を射 F(f): F(Y) → F(X) に写し、h = g ∘ f のとき F(h) = F(f) ∘ F(g) となるように作用する。

関連語

contravariant functors

（ plural ）

contravariant functors

活用形複数形

plural of contravariant functor

日本語の意味

「contravariant functors」は、「反変関手」の複数形を指します。

このボタンはなに？

In many contexts, contravariant functors arise naturally when dealing with dual spaces.

多くの文脈で、双対空間を扱う際には矢印を逆に写す反変関手が自然に現れる。

contravariantly

比較不可

In a contravariant manner.

日本語の意味

反変的に

このボタンはなに？

The functor maps morphisms contravariantly, reversing the direction of each arrow.

その関手は射を反変的に写し、それぞれの矢印の向きを逆にします。

Webで検索する

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★