nLab coherent product


A coherent product on an inhabited set ZZ is a binary function k:Z×Zk:Z \times Z \to \mathbb{C} of positive type.

An inhabited set equipped with the structure of a coherent product is a coherent space


See also


Created on July 22, 2022 at 02:00:42. See the history of this page for a list of all contributions to it.