充満関手と忠実関手とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ 充満関手と忠実関手

充満関手と忠実関手

圏論において，忠実関手（ちゅうじつかんしゅ，英: faithful functor）（resp. 充満関手（じゅうまんかんしゅ，英: full functor））とは与えられた始域と終域をもつ射の各集合に制限したときに単射（resp. 全射）となる関手のことである． C と D を（局所的に小さい）圏とし，F:

Từ điển Nhật - Nhật

Các từ liên quan tới 充満関手と忠実関手

関手

HomC(X, GY) を満たすならば F は G の左随伴であると言い、 G は F の右随伴であると言う。加法的関手射の集合がアーベル群となっている圏（Ab-豊饒圏）の間の函手が、射の集合の間の群準同型を与えるならば加法的であると言う。完全関手短完全列を短完全列に写すような

関実忠

房。後藤兵衛尉基淸預之。」とあり、後藤基清が囚人として身元を預かったと書かれているが、『吉記』では、1185年12月8日の項に「同日、小松内府息忠房招引関東事」とあり、16日に「忠房被切首事」との記述がある。『平家物語」では、平家の残党が忠房の元に集い、3ヶ月の篭城という徹底抗戦するも、「重盛には旧

Hom関手

上の図式の可換性は、Hom(_, _) が C × C から Set への、第1変数について反変で第2変数について共変である双関手（英語版）であることを示している。すなわち、Hom(_, _) は双関手 H o m ⁡ ( _ , _ ) : C o p × C → S e t {\displaystyle \mathop

Ext関手

Ext関手(Ext functors)は、Hom関手の導来関手であり、Tor関手と同様、ホモロジー代数学の中心概念である。ホモロジー代数学では、代数的トポロジーのアイデアが代数的構造の不変量を定義するのに使われている。群のコホモロジーやリー環、結合多元環はすべてExtの言葉で定義できる。Ext

手関節

手関節（しゅかんせつ）は、手首にある関節。橈骨、尺骨、8つの手根骨を含めた10個の骨で構成されており、橈骨手根関節、手根中央関節、下橈尺関節で構成される複関節といわれる。橈骨手根関節と手根間関節の総称である。手関節は以下の通り。手根間関節橈骨手根関節（近位手根関節）手根中央関節（遠位手根関節）

関手圏

は、位相空間から生じない一般の圏 C に対してさえも、「C 上の集合の前層の圏（英語版）」と呼ばれることがある。一般の圏 C 上の層を定義するには、さらなる構造が必要である、すなわち C 上のグロタンディーク位相である。（SetC に同値な圏を“前層圏”と呼ぶ著者もいる。） D において実行できるほとんどの構成は、「成分ごと」に、C

Tor関手

を環とし、R-Mod で左 R-加群の圏を、Mod-R で右 R-加群の圏を表す。R-Mod の加群 B をひとつ選んで固定する。Mod-R の対象 A に対し、T(A) = A⊗RB とおく。すると T は Mod-R からアーベル群の圏 Ab への右完全関手である。そして、その左導来関手 LnT が定義される。

随伴関手

adjunction）とは、二つの関手の間の（ある種の双対的な）関係のことである（随伴関係にある関手を持つ関手もあれば、持たない関手もある）。直感的に言えば、二つの相互に関連する圏の間に認められる、弱い同値的な関係のことである。この関係を表す関手のペアを随伴関手と呼び、片方を左随伴、もう片方を右随伴と呼ぶ。随伴の概念・随伴関手