# nLab streak

Contents

### Context

#### Algebra

higher algebra

universal algebra

# Contents

## Definition

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