nLab totality space

Totality spaces

Definition

A totality space is an arity space for $\kappa=\{1\}$. At least some references add the additional condition that $X = \bigcup \mathcal{U} = \bigcup \mathcal{U}^\perp$.

References

• Loader, Ralph. Linear logic, totality and full completeness. Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science (1994): 292-298.