一覧に戻る

タイトル
  • en Synthetic differential geometry within homotopy type theory I
作成者
    • en Nishimura, Hirokazu
    • 所属 en University of Tsukuba
アクセス権 open access
内容注記
  • Abstract en Both syntheticc differential geometry and homotopy type theory pre- fer synthetic arguments to analytical ones. This paper gives a first step towards developing synthetic differential geometry within homotopy type theory. Model theory of this approach will be discussed in a subsequent paper.
日付
    Issued2016-10-26
言語
  • eng
資源タイプ other
資源識別子 HDL http://hdl.handle.net/2241/00142921 , URI https://tsukuba.repo.nii.ac.jp/records/38353
関連
  • isIdenticalTo DOI https://doi.org/10.48550/arXiv.1606.06540
収録誌情報
  • 開始ページ1 終了ページ39
ファイル
コンテンツ更新日時 2026-01-22