This phase of the course is all about building up the basic apparatus. We’ve stated our axioms, and it might seem like they’re not very powerful. It’s our job now to show that, in fact, they’re ...
John Baez, Joe Moeller and Todd Trimble, 2-rig extensions and the splitting principle. Our paper categorifies a famous method for studying vector bundles, called the ‘splitting principle’. But it also ...