developing new logical and structural techniques to transform the way we compute in future, including in quantum and classical computation, category theory