Zero: The Biography of a Dangerous Idea

What theory is used to formalize mathematics and its concepts as a collection of objects and arrows (morphisms)?