Interaction of computability theory with structures, categories, and higher structures

Computability theory provides a bridge between "pure'' and "applied'' mathematics.
Considered as a chapter of modern mathematics it throws new light at certain of its
central problems (such as Kontsevich-Zagier periods conjecture), but also provides
quite unusual structural/categorical features which deserve further study.