Objective Number Theory is the study of isomorphism classes of Extensive and Distributive categories.