nLab streak

Contents

Contents

Definition

In constructive mathematics, given a σ\sigma-locale Σ\Sigma whose poset of opens O(Σ)O(\Sigma) is a σ \sigma -frame, a Σ\Sigma-streak is an archimedean difference protoring MM such that the strict order <:M×MΩ\lt:M \times M \to \Omega factors into < :M×MΣ\lt^{'}:M \times M \to \Sigma and the canonical monotone i:ΣΩi:\Sigma \to \Omega, where Ω\Omega is the subset classifier. Σ\Sigma is typically called the open subset classifier.

Examples

See also

References

  • Davorin Lešnik, Synthetic Topology and Constructive Metric Spaces, (arxiv:2104.10399)

Last revised on May 12, 2022 at 13:39:40. See the history of this page for a list of all contributions to it.