The n-Category Café
A group blog on math, physics and philosophy
The n-Category Café's Latest Posts
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.
Log in to leave a comment