| EPSRC Reference: |
EP/Y033418/1 |
| Title: |
Towards Directed Model Categories |
| Principal Investigator: |
Kavvos, Dr A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Bristol |
| Scheme: |
Standard Research - NR1 |
| Starts: |
01 March 2024 |
Ends: |
30 November 2024 |
Value (£): |
70,581
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Fundamentals of Computing |
| Logic & Combinatorics |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
For many years mathematicians have studied topology, which refers to shapes and spaces that are invariant under continuous deformation. Intuitively, this amounts to treating shapes as strechable and contractible, but without tearing them.
Topology is supposed to capture geometry "as if everything is made from rubber." However, even that is not strong enough. For various reasons we often want to think of topology up to homotopy. This means that shapes like a mug and a doughnut should be treated as the same. Homotopy theory has seen incredible development over the past century.
In the last 15 years researchers have discovered connections between homotopy theory and the field of formal logic. Somewhat surprisingly, they have been able to take advantage of these connections to enrich various pieces of software that is used to verify the correctness and reliability of mission-critical computer systems (e.g. medical equipment, power grids).
In an unrelated stream of work, researchers have also developed a version of topology that is directed. This means that we still study geometrical shapes, but we can only "walk" on them in a particular direction. For example, imagine a circle on which one can only move clockwise. This theory has found remarkable applications in verifying the good behaviour of concurrent systems, i.e. software in which more than one thing is happening at once.
However, directed topology does not have its own "directed homotopy theory." Such a theory would enable connections with logic, which can in turn be used to understand and study the behaviour of non-reversible transformations, including the function of concurrent computer systems. This project aims to lay the foundational stone in developing such a theory. It will do this by attempting to adapt the fundamental technical notion of "model category" to directed topology.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.bris.ac.uk |