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

Higher Algebra and Quantum Protocols

高等代数和量子协议

基本信息

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

来源：
https://gtr.ukri.org/projects?ref=EP%2FS018646%2F1
关键词：
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中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为摘要中包含个人详细信息等敏感信息。

项目成果

期刊论文数量（10）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Types are Internal $\infty$-Groupoids

类型是内部$infty$-Groupoids

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
A. Allioux;Eric Finster;Matthieu Sozeau
通讯作者：
Matthieu Sozeau

Synthetic Spectra via a Monadic and Comonadic Modality

通过单子和共子模态的合成光谱

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

A Generalized Blakers-Massey Theorem

广义布莱克-梅西定理

DOI：
10.48550/arxiv.1703.09050
发表时间：
2017
期刊：
arXiv e-prints
影响因子：
0
作者：
Anel Mathieu
通讯作者：
Anel Mathieu

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 Unital Infty-Categories

严格统一 Infty 类别的类型理论

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

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