{"created":"2021-03-01T07:17:31.513649+00:00","id":38353,"links":{},"metadata":{"_buckets":{"deposit":"ec22be2e-de6e-4150-a6bb-dadc680625f9"},"_deposit":{"created_by":188,"id":"38353","owners":[188],"pid":{"revision_id":0,"type":"depid","value":"38353"},"status":"published"},"_oai":{"id":"oai:tsukuba.repo.nii.ac.jp:00038353","sets":["117:478","3:2651:2655"]},"author_link":["123"],"item_8_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2016-10-26","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"39","bibliographicPageStart":"1"}]},"item_8_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Both syntheticc differential geometry and homotopy type theory pre-\nfer synthetic arguments to analytical ones. This paper gives a first step\ntowards developing synthetic differential geometry within homotopy type\ntheory. Model theory of this approach will be discussed in a subsequent\npaper.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_8_relation_39":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://arxiv.org/abs/1606.06540","subitem_relation_type_select":"URI"}}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"西村, 泰一","creatorNameLang":"ja"},{"creatorName":"ニシムラ, ヒロカズ","creatorNameLang":"ja-Kana"},{"creatorName":"NISHIMURA, Hirokazu","creatorNameLang":"en"}],"nameIdentifiers":[{},{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-06-27"}],"displaytype":"detail","filename":"1606.06540v2.pdf","filesize":[{"value":"224.0 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/38353/files/1606.06540v2.pdf"},"version_id":"b663ff4e-c2fc-4e77-b0c9-198098f850b3"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"other","resourceuri":"http://purl.org/coar/resource_type/c_1843"}]},"item_title":"Synthetic differential geometry within homotopy type theory I","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Synthetic differential geometry within homotopy type theory I","subitem_title_language":"en"}]},"item_type_id":"8","owner":"188","path":["478","2655"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2016-06-27"},"publish_date":"2016-06-27","publish_status":"0","recid":"38353","relation_version_is_last":true,"title":["Synthetic differential geometry within homotopy type theory I"],"weko_creator_id":"188","weko_shared_id":-1},"updated":"2024-03-22T05:07:58.252839+00:00"}