Higher Algebra and Quantum Protocols
Lead Research Organisation:
University of Cambridge
Department Name: Computer Science and Technology
Abstract
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.
Organisations
Publications
Araujo, M
(2022)
Simple string diagrams and n-sesquicategories
in Theory and Applications of Categories
Delpeuch A
(2022)
The word problem for braided monoidal categories is unknot-hard
Finster E
(2022)
A Type Theory for Strictly Unital 8-Categories
Finster E
(2021)
A Type Theory for Strictly Associative Infinity Categories
Heidemann L
(2022)
Zigzag normalisation for associative n-categories
Description | A central achievement has included a new perspective on compositional structures has been achieved, which yields a simplified formal language for describing geometrical composition. Further achievements have been in the area of interacting quantum structures. |
Exploitation Route | Further mathematical research into the foundations of programming languages, increasing the power of computational systems. |
Sectors | Digital/Communication/Information Technologies (including Software) |
Title | homotopy.io |
Description | Research tool for higher category theory |
Type Of Technology | Webtool/Application |
Year Produced | 2022 |
Open Source License? | Yes |
Impact | Increased impact of scientific results in the community |
URL | http://homotopy.io |
Description | Public engagement workshop |
Form Of Engagement Activity | Participation in an activity, workshop or similar |
Part Of Official Scheme? | No |
Geographic Reach | Local |
Primary Audience | Schools |
Results and Impact | Outreach activity |
Year(s) Of Engagement Activity | 2022 |