The n-Category Café

Read about recent talks by Kremnitzer and Corfield

article on category theory

There's a program on "Semantics of Proofs and Certified Mathematics" in Paris from April 22nd to July 11tth, 2014.

The gluing construction on topological spaces and topoi seems like a "propositional" version of the fracture theorems from algebraic topology.

Report on recent work of Yi Tang Zhang, taking us a step closer to a proof of the Twin Primes Conjecture.