Beyond the axioms: The question of objectivity in mathematics home.uchicago.edu/~wwtx/objectivity.pdf of free mathematics and in particular of the limited obligation of free math- ematics discover a

Reflections on a Categorical Foundations of Mathematics - School of site.uottawa.ca/~phil/papers/LS11.final.pdf free topos, which is the initial object in the category of all elementary toposes and