有向集合 - Wikipedia
数学における有向集合（ゆうこうしゅうごう、directed set）、有向前順序集合 (directed preordered set) あるいはフィルター付き集合 (filtered set) とは、空でない集合 A と反射的かつ推移的な二項関係（つまり前順序）≤ との組 (A, ≤) であって、さらに任意の二元が上界を持つ、すなわち A の任意の元 a, b に対して、A の元 c で a ≤ c かつ b ≤ c を満たすものが必ず存在するものをいう[1]。 有向集合は空でない全順序集合の一般化、すなわち任意の全順序集合は有向集合となるが、一方で必ずしも全ての半順序集合が有向集合となるわけではない。位相空間論において有向集合は列の概念を一般化する有向点族（ネット）の概念を定義するのに用いられ、それにより解析学で用いられる様々な極限の概念を統一的に扱うことが可能になる。有向集合から抽象
圏論 - Wikipedia
圏論（けんろん、英: category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。サミュエル・アイレンベルグ と ソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。 圏の研究は、関連する様々なクラスの数学的構造に共通する性質を見出そうとする試みだといえる。 集合論的な数学
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Initial and terminal objects - Wikipedia
