関手圏とは? - 日本語辞典 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ừ 関手圏

関手圏

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

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

Các từ liên quan tới 関手圏

関東圏

関東圏（かんとうけん）関東地方あるいはその周辺地域のこと。東京の都市圏のこと。首都圏 (日本)を参照。関東広域圏 - 地上波放送の区域の一つ。広域放送を参照。関東地方東京を中心とする地域の定義一覧このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案

関手

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

関係の圏

Rel を誘導する。これにより関係の圏 Rel はダガー圏（英語版）となる。実は Rel はダガーコンパクト圏（英語版）である。寓 (圏論)（英語版）: 関係の圏は寓の模範例である ^ Lane, S. Mac (1988). Categories for the working mathematician

圏

けん

かこったところ。輪。

広域関東圏

広域関東圏（こういきかんとうけん）とは、関東地方1都6県とその周辺地域を含む圏域。甲信越3県（山梨県、長野県、新潟県）や静岡県、福島県などが含まれることが多い。甲信越のみを加えた1都9県については関東甲信越とも呼ばれる。関東1都6県（茨城県、栃木県、群馬県、埼玉県、千葉県、東京都、神奈川県）に隣

関門都市圏

）の会員企業を中心に構成する下関北九州道路建設促進協議会（旧・関門海峡道路建設促進協議会）では、下関北九州道路（関門海峡道路）の新設構想の調査において、「関門都市圏」を定義している。 2005年（平成17年）6月の調査「関門海峡道路による関門都市圏の交通ネットワークと将来像」の発表以降は、同年2月

Hom関手

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