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 19:52:42.
See the history of this page for a list of all contributions to it.