接線カテゴリーのための埋め込み定理【JST・京大機械翻訳】

Garner Richard

プレプリント

J-GLOBAL ID：202202202482647320 整理番号：22P0040614

接線カテゴリーのための埋め込み定理【JST・京大機械翻訳】

An embedding theorem for tangent categories

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2017年04月26日プレプリントサーバーでの情報更新日： 2020年06月01日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

代数と幾何学における微分構造のためのカテゴリー設定としてRosickyによって,接線カテゴリーを導入した。Cockett,Crutwell,その他について,計算機科学における差分構造の研究にも応用されている。本論文では,あらゆる接線カテゴリが,例えば,KockとLawvereの合成微分幾何学の任意のモデルのように,自立接線ベクトルによる指数化によって与えられる,表現可能な接線カテゴリ-オンへの埋込みを許すことを証明した。この証明における鍵ステップは,ある種類の豊富なカテゴリーとして接線カテゴリを示すLeungによる接線カテゴリに対するコヒーレンス定理を用いる。【JST・京大機械翻訳】

, , , , , ,

図形・画像処理一般

, , ,

前のページに戻る