Objective Number Theory

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

References