This project concerns the mathematical underpinnings of topological quantum computation; and some practical aspects of `higher' representation theory.
For now see our works on the arXiv for more information.