If is a symmetric monoidal closed category with pullbacks and is an object ofv, there is a construction described in Chu (1979), of a *-autonomous category based on V. Very briefly, an object of Chu (V, ) is a pair (V, V') of objects of V together with a pairing : V V'->. These objects have been called Chu spaces because in concrete examples one can think of V' as being a kind of topology on V (Pratt 1993).
展开▼