UK-European Representation Theory and Categorification Network

Mathematicians across Europe are building a shared language to describe hidden symmetries in complex systems, from quantum particles to error-correcting codes. Representation theory is a branch of pure mathematics that studies symmetry by translating abstract algebraic structures into concrete matrices—grids of numbers that can be manipulated and computed. Categorification is a newer technique that lifts these ideas to a higher level, revealing deeper patterns that ordinary algebra misses. The problem is that researchers working on these tools are scattered across the UK, France, and Germany, often unaware of each other's advances or of potential applications outside mathematics itself. This network connects those researchers with industrial partners including a quantitative trading firm and a software verification team at Microsoft. If it succeeds, it could accelerate progress in areas where symmetry and structure matter: quantum computing, where categorification helps describe entangled states; cryptography, where representation theory underpins certain encryption schemes; and software verification, where mathematical proofs ensure code behaves correctly. The network also funds exchanges and workshops for early-career mathematicians. This is primarily fundamental science. The immediate payoff is a deeper understanding of mathematical structure itself. But past work in representation theory has unexpectedly enabled advances in particle physics, chemistry, and data compression—and this network aims to keep those pipelines open.