Presentability（有限化可能性、プレゼンテーション可能性）
数学における「Presentability（表示可能性、プレゼンテーション可能性）」は、主に代数構造、圏論、およびその応用分野で使われる概念で、「複雑な対象を、より単純な元（生成元）と関係式（関係）で記述できるか」という性質を指します。
特に「有限表示可能 (Finitely Presentable)」という言葉で使われることが多く、これは有限個の生成元と有限個の関係式によって構造が定義できることを意味します。
主要な領域におけるPresentability
- 代数における表示（Group Representation）
- 群や代数構造において、少数の要素（生成元）を組み合わせ、それらの間のルール（関係式）を定めることで、構造全体を決定できる性質。
- 例：有限生成群、有限表示可能群。
- 圏論における表示可能圏（Presentable Categories）
- GabrielとUlmerによって導入された概念。小さな圏からの余極限（colimit）によって生成される圏を指す。
- locally presentable category（局所表示可能圏）は、複雑な（大きな）圏を、より小さな「扱いやすい」部分圏から組み立て直せるという、安定した構造を持つ圏のこと。
- 高次圏論（Higher Category Theory）におけるPresentability
- LurieのHigher Algebraなどにおいて、\(\infty \)-圏（infinity category）がどのような生成元と関係を持つか、特にderived categories（派生圏）が「安定した」表示を持つかを指す。
- 論理学における表現可能性（Representability）
- 形式システムにおいて、システム内の式を使って、システム外の意味的な概念を表現できるかという問題。
主な特徴と背景
- 有限性： 多くの場合、無限に広がる対象を有限のデータで扱いたいという欲求に基づいている。
- 構造の同型： 代数系や圏が同型であることを示す際、このPresentabilityを用いて表現が等価であることを証明する。
- 分野： 代数学、代数トポロジー、代数幾何学、数理論理学、Category Theory。
簡単に言うと、「その数学的対象を、どれだけ効率的（有限）に記述・構成できるか」を示す指標です。