Higher Algebra and Quantum Protocols
Higher Algebra and Quantum Protocols
高等代数和量子协议
批准号：
EP/S018646/2
负责人：
Jamie Vicary
金额：
$29.86万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2020
资助国家：
英国
项目状态：
已结题
起止时间：
2020 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Zigzag normalisation for associative n-categories
关联 n 类别的 Zigzag 标准化
关联 n 类别的 Zigzag 标准化
DOI：
10.1145/3531130.3533352
发表时间：
2022
期刊：
影响因子：
--
作者：
[Heidemann L]
通讯作者：
Heidemann L
A Type Theory for Strictly Unital 8-Categories
严格统一 8 类的类型理论
严格统一 8 类的类型理论
DOI：
10.1145/3531130.3533363
发表时间：
2022
期刊：
影响因子：
--
作者：
[Finster E]
通讯作者：
Finster E
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[Finster E]
通讯作者：
Finster E
Globular weak !-categories as models of a type theory
作为类型论模型的球状弱!-范畴
作为类型论模型的球状弱!-范畴
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[Finster E]
通讯作者：
Finster E
Simple string diagrams and n-sesquicategories
简单的字符串图和 n-sesquicategories
简单的字符串图和 n-sesquicategories
DOI：
--
发表时间：
2022
期刊：
Theory and Applications of Categories
影响因子：
0.5
作者：
[Araujo, M]
通讯作者：
Araujo, M
共 7 条
Higher Algebra and Quantum Protocols
-
批准号：EP/S018646/1
-
项目类别：Research Grant
-
资助金额：$42.95万
-
财政年份：2019
-
负责人：Jamie Vicary
-
依托单位：
海外基金