Higher Algebra and Quantum Protocols
Higher Algebra and Quantum Protocols
高等代数和量子协议
批准号：
EP/S018646/1
负责人：
Jamie Vicary
金额：
$42.95万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2019
资助国家：
英国
项目状态：
已结题
起止时间：
2019 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Types are Internal $\infty$-Groupoids
类型是内部$infty$-Groupoids
类型是内部$infty$-Groupoids
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[A. Allioux, Eric Finster, Matthieu Sozeau]
通讯作者：
Matthieu Sozeau
Synthetic Spectra via a Monadic and Comonadic Modality
通过单子和共子模态的合成光谱
通过单子和共子模态的合成光谱
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[Finster E]
通讯作者：
Finster E
A Generalized Blakers-Massey Theorem
广义布莱克-梅西定理
广义布莱克-梅西定理
DOI：
10.48550/arxiv.1703.09050
发表时间：
2017
期刊：
arXiv e-prints
影响因子：
--
作者：
[Anel Mathieu]
通讯作者：
Anel Mathieu
A Type Theory for Strictly Unital 8-Categories
严格统一 8 类的类型理论
严格统一 8 类的类型理论
DOI：
10.1145/3531130.3533363
发表时间：
2022
期刊：
影响因子：
--
作者：
[Finster E]
通讯作者：
Finster E
A Type Theory for Strictly Unital Infty-Categories
严格统一 Infty 类别的类型理论
严格统一 Infty 类别的类型理论
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Finster E]
通讯作者：
Finster E
共 10 条
Higher Algebra and Quantum Protocols
-
批准号：EP/S018646/2
-
项目类别：Research Grant
-
资助金额：$29.86万
-
财政年份：2020
-
负责人：Jamie Vicary
-
依托单位：
海外基金