文献

J-GLOBAL ID：202002227121516733   整理番号：20A1865076

ホモトピー型理論における細胞コホモロジー【JST・京大機械翻訳】

Cellular Cohomology in Homotopy Type Theory

著者 (2件)： Buchholtz Ulrik (Technische Universitaet Darmstadt, Darmstadt, Germany) ,  Hou Favonia Kuen-Bang (Institute for Advanced Study, Princeton, NJ, USA)
資料名： ACM Proceedings  (ACM Proceedings)
号： LICS ’18  ページ： 521-529  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ホモトピー型理論における細胞共ホモロジーの開発を示した。共ホモロジーは,その構造の一部を捉える一連のアベル群のシーケンスに会合し,多くの共通空間のこれらのアベル群が計算しやすいという点で,ホモトピーグループを超える利点を持っている。細胞共ホモロジーは,細胞複合体のために設計された特殊な種類の共ホモロジーであり,これらは,次第に高い次元の球を付着することによって段階で構築され,細胞共ホモロジーは,球がどのように付着しているかのコンビナトリアル記述からグループを定義する。主な結果は,有限細胞複合体に対して,広範囲の共ホモロジー理論(Eilenberg-MacLane空間を通して定義されたものを含む)が,細胞共ホモロジーを介して計算できることである。この結果は,Agda証明支援で定式化された。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 複合体 ,  *ホモトピー ,  *ホモロジー ,  *コホモロジー ,  定式化 ,  型理論

著者キーワード (3件)： 細胞コホモロジー ,  ホモトピー型理論 ,  機械化推論

分類 (5件)： 図形・画像処理一般  (JE04010I) ,  システム・制御理論一般  (IA02010H) ,  分子構造  (EB03020Y) ,  生物学的機能  (EB03040U) ,  位相幾何学  (AB07000A)

タイトルに関連する用語 (4件)： ホモトピー ,  型理論 ,  細胞 ,  コホモロジー