权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Higher Algebra and Quantum Protocols

高等代数和量子协议

基本信息

批准号：
EP/S018646/2
负责人：
Jamie Vicary
金额：
$ 29.86万
依托单位：
University of Cambridge
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2020
资助国家：
英国
起止时间：
2020 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FS018646%2F2
关键词：
Higher Algebra Quantum Protocols

项目摘要

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.

目前，所有资助研究的摘要都不能在GTR中找到。这通常是因为在提交提案时并不需要摘要，但可能是因为它包含了个人详细信息等敏感信息。

项目成果

期刊论文数量（7）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Zigzag normalisation for associative n-categories

关联 n 类别的 Zigzag 标准化

DOI：
10.1145/3531130.3533352
发表时间：
2022
期刊：
影响因子：
0
作者：
Heidemann L
通讯作者：
Heidemann L

A Type Theory for Strictly Unital 8-Categories

严格统一 8 类的类型理论

DOI：
10.1145/3531130.3533363
发表时间：
2022
期刊：
影响因子：
0
作者：
Finster E
通讯作者：
Finster E

A Type Theory for Strictly Associative Infinity Categories

严格结合无穷范畴的类型论

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Finster E
通讯作者：
Finster E

Globular weak !-categories as models of a type theory

作为类型论模型的球状弱!-范畴

DOI：
发表时间：
期刊：
影响因子：
0
作者：
Finster E
通讯作者：
Finster E

Simple string diagrams and n-sesquicategories

简单的字符串图和 n-sesquicategories

DOI：
发表时间：
2022
期刊：
Theory and Applications of Categories
影响因子：
0.5
作者：
Araujo, M
通讯作者：
Araujo, M

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Jamie Vicary其他文献

Computads for weak emω/em-categories as an inductive type

弱ω-范畴的计算广告作为归纳类型

DOI：
10.1016/j.aim.2024.109739
发表时间：
2024-07-01
期刊：
ADVANCES IN MATHEMATICS
影响因子：
1.500
作者：
Christopher J. Dean;Eric Finster;Ioannis Markakis;David Reutter;Jamie Vicary
通讯作者：
Jamie Vicary