刷新
{{item.name}}会员
homotopy type theory and higher category theory
同伦型论和高范畴论
基本信息
- 批准号：481054-2015
- 负责人：
- 金额：$ 0.41万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：University Undergraduate Student Research Awards
- 财政年份：2015
- 资助国家：加拿大
- 起止时间：2015-01-01 至 2016-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Satanove, Daniel其他文献
Satanove, Daniel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似国自然基金
铋基邻近双金属位点Type B异质结光热催化合成氨机制研究
- 批准号：
- 批准年份：2024
- 资助金额：30.0 万元
- 项目类别：省市级项目
盐皮质激素受体抑制2型固有淋巴细胞活化加重心肌梗死后心室重构的作用机制
- 批准号：82372202
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
损伤线粒体传递机制介导成纤维细胞/II型肺泡上皮细胞对话在支气管肺发育不良肺泡发育阻滞中的作用
- 批准号：82371721
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
GPSM1介导Ca2+循环-II型肌球蛋白网络调控脂肪产热及代谢稳态的机制研究
- 批准号：82370879
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
二型聚合函数基于扩展原理的构造与表示问题
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
真菌中I型-III型聚酮杂合类天然产物的基因组挖掘
- 批准号：
- 批准年份：2022
- 资助金额：54 万元
- 项目类别：面上项目
智能型Type-I光敏分子构效设计及其抗耐药性感染研究
- 批准号：22207024
- 批准年份：2022
- 资助金额：20 万元
- 项目类别：青年科学基金项目
TypeⅠR-M系统在碳青霉烯耐药肺炎克雷伯菌流行中的作用机制研究
- 批准号：
- 批准年份：2021
- 资助金额：55 万元
- 项目类别：面上项目
替加环素耐药基因 tet(A) type 1 变异体在碳青霉烯耐药肺炎克雷伯菌中的流行、进化和传播
- 批准号：LY22H200001
- 批准年份：2021
- 资助金额：0.0 万元
- 项目类别：省市级项目
面向手性α-氨基酰胺药物的新型不对称Ugi-type 反应开发
- 批准号：LY22B020003
- 批准年份：2021
- 资助金额：0.0 万元
- 项目类别：省市级项目
相似海外基金
Conference: Student Support for Second International Conference on Homotopy Type Theory (HoTT 2023)
会议：第二届同伦类型理论国际会议 (HoTT 2023) 的学生支持
- 批准号：
2318492 - 财政年份：2023
- 资助金额：
$ 0.41万 - 项目类别：
Standard Grant
[infinite]-Lie Groups and Their [infinite]-Lie Algebras in Real Cohesive Homotopy Type Theory
实内聚同伦型理论中的[无穷]-李群及其[无穷]-李代数
- 批准号：
2888102 - 财政年份：2023
- 资助金额：
$ 0.41万 - 项目类别：
Studentship
Homotopy theory, homotopy type theory and higher topos theory
同伦理论、同伦类型理论和更高层次的拓扑理论
- 批准号：
RGPIN-2022-04739 - 财政年份：2022
- 资助金额：
$ 0.41万 - 项目类别：
Discovery Grants Program - Individual
Homological algebra in homotopy type theory
同伦型理论中的同调代数
- 批准号：
574650-2022 - 财政年份：2022
- 资助金额：
$ 0.41万 - 项目类别：
University Undergraduate Student Research Awards
Homotopy Type Theory, Higher Category Theory
同伦类型论、高范畴论
- 批准号：
2431961 - 财政年份：2020
- 资助金额：
$ 0.41万 - 项目类别：
Studentship
Summer School on Homotopy Type Theory 2019
同伦类型论暑期学校 2019
- 批准号：
1912896 - 财政年份：2019
- 资助金额：
$ 0.41万 - 项目类别：
Standard Grant
Set-theoretical investigation on properties of sets of reals and its application to computer science
实数集合性质的集合论研究及其在计算机科学中的应用
- 批准号：
17J00479 - 财政年份：2017
- 资助金额：
$ 0.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Research on homotopy type theory using simplicial methods
用单纯法研究同伦型理论
- 批准号：
17J06609 - 财政年份：2017
- 资助金额：
$ 0.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows