语言
没有数据
通知
无通知
逆周圏論（ぎゃくしゅうけんろん）とは中央に古い現象が残存しており、その周辺により新しい現象が存在する様な地理的な分布現象の事である。 分かり易い例としては、日本語の方言のアクセントが典型的であるとされており、かつての文化的中心地であった京都とその周辺部には京阪式アクセント及びその変種（右図橙色および
ける非常に難しい問題を、より簡単な代数的問題に関連づけることである。例えば、点付き位相空間に対してその基本群を対応させる「自然な対応」は関手を用いて得られると考えることができる。 基本群とホモロジー群のような「似た」数学的変換はしばしば「自然に」関連づけ
り交ぜることが流行した（方言のおもちゃ化・アクセサリー化）。また近年の接客業でよく使われる「よろしかったですか」などのいわゆるバイト敬語（コンビニ敬語）は、北海道方言などの影響を受けているとの指摘がある。 ^ a b c 田中ゆかり『首都圏における言語動態の研究』、2010年、笠間書院。
CPL (正式名称：Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、萩野達也によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。 元々定義されているデータ型が存在
射は双射だが、双射は必ずしも同型射ではないことである。例えば、可換環の圏において包含射 Z → Q は双射だが同型射ではない。しかし、全射かつ分裂単射であるような、もしくは単射かつ分裂全射であるような任意の射は同型射でなければならない。集合の圏 Set のように、任意の双射が同型射であるような圏は、均衡圏
f\circ k} は K から Y への零射である； 射 k′: K′ → X であって f ∘ k′ が零射であるものが任意に与えられると，一意的な射 u: K′ → K が存在して，k ∘ u = k' と射を分解できる。 多くの具体的な（英語版）文脈において，射 k よりも対象 K を「核」と呼んでいることに注意。それらの状況では，K
数学の一分野である圏論において、モナド（英語: monad）とは、モノイドに似た構造を備えた自己関手である。モナドは半順序集合上の閉包作用素の一般化や、双圏（英語: bicategory）上のモノイドに似た構造として捉えられ、随伴関手（または随伴1-セル）と強い関係を持つ。双対概念はコモナド（英語版）である。
位相空間の圏における積は、各因子の台集合のデカルト積を台として積位相を入れた空間である。積位相はすべての射影が連続であるような最も粗い位相（英語版）である。 一つの環 R 上の加群の圏における積は、台集合のデカルト積に成分ごとの加法と分配的な積を入れたものである。 群の圏における積は、台集合のデカルト積に成分ごとの積を入れた群の直積によって与えられる。
搜索 
搜索 搜索 
