Contents

(0,1)-category

(0,1)-topos

# Contents

## Definition

A $\sigma$-frame is a $\sigma$-complete lattice $(L, \leq, \bot, \vee, \top, \wedge, \Vee)$ such that for all elements $a \in L$ and sequences $s:\mathbb{N} \to L$,

$a \wedge \Vee_{n:\mathbb{N}} s(n) = \Vee_{n:\mathbb{N}} a \wedge s(n)$

## Examples

• Sierpinski space, denoted as $\Sigma$ or $1_\bot$, is the initial $\sigma$-frame.