symmetric monoidal (∞,1)-category of spectra
A definition of ordered field in constructive mathematics which uses denial inequality. It is primarily used in synthetic differential geometry.
An ordered Kock field is a Kock field with a strict order which is not necessarily linear:
for all ,
for all and , if , then
for all , , and , if , then or
for all and , if and , then
for all and , if and , then
for all , if and only if or
Last revised on December 7, 2022 at 14:24:35. See the history of this page for a list of all contributions to it.