[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] We work in a $\Pi$-pretopos with a natural numbers object and a terminal Archimedean ordered field object: ... category: redirected to nlab