| M. Barr. The separated extensional Chu category. In Theory and Applications of Categories, vol. 4, pp 127--137, 1998. |
....= Hom(B;A Gammaffi C) for any objects A, B, and C; and a dualizing object for which the natural map A Gamma (A Gammaffi ) Gammaffi is an isomorphism for every object A. In this case, the dualizing object is (T; Z) and one can check that (G; G 0 ) Gammaffi(T; Z) G 0 ; G) See [Barr, 1998] and references found there for further details. For any topological abelian group A, we denote by jAj the underlying discrete group. If we suppose that each object of C has a separating family of characters, then so does Theory and Applications of Categories, Vol. 8, No. 4 58 each object of SPC. ....
M. Barr (1998), The separated extensional Chu category. Theory and Applications of Categories 4.6, 137--147.
....omit the explicit mention of the inclusion of either Chu s or Chu e or chu in Chu. We shall see in the next section an example of such a Chu construction and also why the extensional and separated Chu spaces are particularly interesting. But first we cite a lemma and then some results by Barr from [4], that we shall need later. 2.4. Proposition. 4, Proposition 3.2] The inclusion Chu s Gamma Chu has a left adjoint s (and the inclusion Chu e Gamma Chu has a right adjoint e) Theory and Applications of Categories, Vol. 5, No. 8 179 Proof. Let A be a Chu space. The morphism A 1 Gamma A ....
M. Barr, The separated extensional Chu category, Theory and Applications of Categories, 4.9, 137-147, 1998
No context found.
M. Barr. The separated extensional Chu category. In Theory and Applications of Categories, vol. 4, pp 127--137, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC