Periodic Reporting for period 4 - DuaLL (Duality in Formal Languages and Logic - a unifying approach to complexity and semantics)

Dualities between algebraic and topological structure are pervasive in mathematics, and toggling back and forth between them has often been associated with important breakthroughs. The main objective of this project is to bring this important tool to bear on a number of...