• 論においてコンマ圏(こんまけん、英: comma category)とは、の構成法の一つを言う。特定の構成はスライス(slice category)とも呼ばれる。コンマ圏という名称は1963年にウィリアム・ローヴェアが句読点コンマにちなんで使用した表記に由来する。...
    5 KB (714 words) - 02:00, 10 August 2023
  • , コンマ (comma) は、カンマとも呼ばれ、約物のひとつ。文の区切り、数字の区切り、小数点などに用いられる。 欧文では文の途中の区切りにもっぱらコンマが用いられる。英語のようにコンマを打つか打たないかが比較的厳密に定められている言語と、筆記者の自由に任される言語とがある。...
    11 KB (1,318 words) - 09:13, 15 October 2023
  • G)^{\text{op}}\cong (G^{\text{op}}\downarrow F^{\text{op}})} (コンマ圏を参照) 双対対象(英語版) 双対 (論) 双対 随伴関手 反変関手 逆関手(英語版) ^ “Is there an introduction to probability...
    3 KB (470 words) - 02:07, 10 August 2023
  • の部分集合を対象とし、包含写像を射とする P と看做すことができる。さらに X 上の位相 T は P の部分であり、包含函手 I: T → P を考えることができる。X の部分集合 A を固定して、A を含む X の閉集合全体のなす集合族をコンマ圏 (A ↓ I) と同一視すれば、この(半順序集合でもある)は始対象として...
    13 KB (1,964 words) - 10:33, 4 March 2023
  • Kan拡張 (category 論)
    _{F}X)(b)=\varinjlim _{f:Fa\to b}X(a)} により定義される。ただし余極限はコンマ圏 ( F ↓ b ) {\displaystyle (F\downarrow b)} の上で取られるとする。 双対的にAが小さいで Cが完備ならば、 X {\displaystyle X} の F {\displaystyle...
    7 KB (1,403 words) - 23:02, 8 March 2024
  • 始対象と終対象 (category 対象 (論))
    数学の抽象的な分野である論において、 𝒞 の始対象(したいしょう、英: initial object, coterminal object)とは、𝒞 の任意の対象 X に対してちょうど一つの射 I → X が存在するような 𝒞 の対象 I のことを指す。 𝒞 の終対象(しゅうたいしょう、英:...
    14 KB (2,035 words) - 14:17, 11 August 2023
  • ピタゴラスコンマ(英: Pythagorean comma)、あるいはダイトニックコンマは、ピタゴラス音律における異名同音の差である小さな音程(あるいはコンマ)であり、例えば C と B♯、あるいは D♭ と C♯などの差である。これは531441:524288の周波数比に等しく、約23...
    5 KB (798 words) - 14:55, 12 March 2023
  • は基点を保つ連続写像(点付き写像)を射としてを成す。このを得る別の方法として、コンマ圏 (1↓Top) と考えてもよい(ただし、1 = {•} は任意の一点空間で、Top は位相空間のである)。これはまた余スライス(英語版) 1/Top でもある。このの対象は、連続写像 1 → X である(このような射は...
    7 KB (941 words) - 21:21, 17 July 2020
  • 米田の補題 (category 論)
    F : C → Set に対して、F の「要素の」(category of elements) El A とは、X ∊ C、x ∈ FX の組とその関係を保つ C の射からなる (すなわち、米田埋め込み YC: Cop → SetC を用いたコンマ圏 YC ↓ F) のことである。El A から...
    18 KB (2,356 words) - 14:44, 17 December 2023
  • radix point)とは、実数を位取り記数法で表した際の整数部と小数部との境を表す記号である。 小数点として使用される記号は様々あり、ピリオド(.)やコンマ(,)などが用いられる。現代の日本では、ピリオドを用いることがほとんどである。 日本語では単に「小数点」ということが多い。英語では、decimal...
    27 KB (3,035 words) - 12:01, 19 November 2023
  • (full stop / period) ( . ) 一文の最後に付けられる。日本語の句点に相当する。 コンマ ( , ) 複数のものを列挙するときや、副文を導くために使う。 疑問符 / クエスチョンマーク (question mark, interrogation mark) ( ? )...
    30 KB (2,414 words) - 13:00, 28 May 2024