Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
ext、extended file system または ext1 は1992年4月に開発され、明確に Linux オペレーティングシステム向けに作成された最初のファイルシステムである。 ext1 は Minixファイルシステム のある制限を克服するため Rémy Card(英語版) によって設計された。
Ext JS は、Ajax、DHTML、DOMスクリプティングといった技術を使ったインタラクティブなウェブアプリケーション(RIA)を構築するためのJavaScriptライブラリ。 元々はYUIを拡張するアドオンライブラリであり、jQueryとPrototypeとの相互運用性も確保している。バージョン1
HomC(X, GY) を満たすならば F は G の左随伴であると言い、 G は F の右随伴であると言う。 加法的関手 射の集合がアーベル群となっている圏(Ab-豊饒圏)の間の函手が、射の集合の間の群準同型を与えるならば加法的であると言う。 完全関手 短完全列 を短完全列に写すような
上の図式の可換性は、Hom(_, _) が C × C から Set への、第1変数について反変で第2変数について共変である双関手(英語版)であることを示している。すなわち、Hom(_, _) は双関手 H o m ( _ , _ ) : C o p × C → S e t {\displaystyle \mathop
手関節(しゅかんせつ)は、手首にある関節。橈骨、尺骨、8つの手根骨を含めた10個の骨で構成されており、橈骨手根関節、手根中央関節、下橈尺関節で構成される複関節といわれる。橈骨手根関節と手根間関節の総称である。 手関節は以下の通り。 手根間関節 橈骨手根関節(近位手根関節) 手根中央関節(遠位手根関節)
は、位相空間から生じない一般の圏 C に対してさえも、「C 上の集合の前層の圏(英語版)」と呼ばれることがある。一般の圏 C 上の層を定義するには、さらなる構造が必要である、すなわち C 上のグロタンディーク位相である。(SetC に同値な圏を“前層圏”と呼ぶ著者もいる。) D において実行できるほとんどの構成は、「成分ごと」に、C
を環とし、R-Mod で左 R-加群の圏を、Mod-R で右 R-加群の圏を表す。R-Mod の加群 B をひとつ選んで固定する。Mod-R の対象 A に対し、T(A) = A⊗RB とおく。すると T は Mod-R からアーベル群の圏 Ab への右完全関手である。そして、その左導来関手 LnT が定義される。
圏論において,忠実関手(ちゅうじつかんしゅ,英: faithful functor)(resp. 充満関手(じゅうまんかんしゅ,英: full functor))とは与えられた始域と終域をもつ射の各集合に制限したときに単射(resp. 全射)となる関手のことである. C と D を(局所的に小さい)圏とし,F: