symmetric monoidal (∞,1)-category of spectra
In constructive mathematics, given a -locale whose poset of opens is a -frame, a -streak is an archimedean difference protoring such that the strict order factors into and the canonical monotone , where is the subset classifier. is typically called the open subset classifier.
For any -locale , the Dedekind real numbers are the terminal -streak.
For any -locale , the -Dedekind real numbers are a -streak.
Last revised on December 9, 2022 at 20:32:02. See the history of this page for a list of all contributions to it.