Totality spaces

# 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.

Last revised on May 6, 2022 at 15:52:42. See the history of this page for a list of all contributions to it.