nLab totality space

Totality spaces

Totality spaces


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


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