High-level methods for homotopy construction in associative n-categories
- Submitting institution
-
University of Cambridge
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1943
- Type
- E - Conference contribution
- DOI
-
10.1109/lics.2019.8785895
- Title of conference / published proceedings
- 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- First page
- 1
- Volume
- 00
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- June
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This work is the gives the main theoretical foundation for a new online software tool for higher algebra, called "homotopy.io". It has been well received in the Mathematics and Computer Science higher algebra community, having been loaded 10,833 times by 2,762 unique users since launch in January 2019. The tool allows users to construct sophisticated homotopies in high-dimensional space, with the recursive techniques of this paper providing the key method for constructing all nontrivial examples. The work has led to 6 invited talks since publication.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -