×

zbMATH — the first resource for mathematics

Topological balls. (English) Zbl 0922.18004
The so-called Chu-construction was introduced in 1979 by P.-H. Chu in the appendix to his supervisor M. Barr’s book [“\(*\)-autonomous categories”, Lect. Notes Math. 752 (1979; Zbl 0415.18008)] for the purpose of constructing symmetric \(*\)-autonomous categories out of symmetric monoidal closed ones and a specified object. Regarded as a curiosity for some time, it recently has been the object of renewed interest, e.g., by M. Barr himself [J. Pure Appl. Algebra 111, No. 1-3, 1-20 (1996; Zbl 0857.18010) and Theory Appl. Categ. 2, No. 2, 17-35 (1996; Zbl 0857.18009)], V. Pratt and E. Schläpfer [Doctoral Thesis, Faculty of Science, Université de Fribourg (1998)]. Certain ad hoc constructions of (symmetric) \(*\)-autonomous categories nowadays can be better understood (and sometimes simplified) when viewed in terms of the Chu-construction and its refinements. A case in point is the category of reflexive \(\zeta\)-\(\zeta^{\ast}\)-balls. It was introduced by M. Barr [Cah. Topologie Géom. Différ. 17, 335-342 (1976; Zbl 0344.46132)] and his 1979 book and is revisited here from the new perspective.

MSC:
18B99 Special categories
46B99 Normed linear spaces and Banach spaces; Banach lattices
18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
PDF BibTeX XML Cite
Full Text: Numdam EuDML
References:
[1] M. Barr ( 1976 ), Closed categories and Banach spaces. Cahiers de Topologie et Géométrie Différentielle , 17 , 335 - 342 . Numdam | MR 448118 | Zbl 0344.46132 · Zbl 0344.46132 · numdam:CTGDC_1976__17_4_335_0 · eudml:91175
[2] M. Barr ( 1979 ), *- Autonomous Categories . Lecture Notes in Mathematics 752 , Springer-Verlag , Berlin , Heidelberg , New York . MR 550878 | Zbl 0415.18008 · Zbl 0415.18008
[3] M. Barr ( 1990 ), Accessible categories and models of linear logic. J. Pure Applied Algebra , 69 , 219 - 232 . MR 1090742 | Zbl 0719.18004 · Zbl 0719.18004 · doi:10.1016/0022-4049(91)90020-3
[4] M. Barr ( 1991 ), *-Autonomous categories and linear logic. Mathematical Structures Computer Science , 1 , 159 - 178 . MR 1132146 | Zbl 0777.18006 · Zbl 0777.18006 · doi:10.1017/S0960129500001274
[5] M. Barr ( 1996 ), *-Autonomous categories, revisited . Journal of Pure and Applied Algebra , 111 , 1 - 20 . MR 1394341 | Zbl 0857.18010 · Zbl 0857.18010 · doi:10.1016/0022-4049(95)00040-2
[6] M. Barr ( 1998 ), The separated extensional Chu category . Theory and Applications of Categories , 4 . 6 . MR 1651409 | Zbl 0907.18003 · Zbl 0907.18003 · emis:journals/TAC/#vol4 · eudml:119671
[7] M. Barr (forthcoming), *- Autonomous categories: once more around the track . MR 1732459 | Zbl 0944.18008 · Zbl 0944.18008 · emis:journals/TAC/#vol6 · eudml:120486
[8] N. Bourbaki ( 1953 ), Éléments de mathématiques, Espaces vectoriels topologiques , Livre V , Chap. II . Zbl 0050.10703 · Zbl 0050.10703
[9] P.-H. Chu ( 1979 ), Constructing *-autonomous categories . Appendix to [Barr, 1979 ]. MR 550878
[10] J.B. Cooper ( 1987 ), Saks Spaces and Applications to Functional Analysis , 2 nd edition. North-Holland , Amsterdam . MR 886477 | Zbl 0618.46003 · Zbl 0618.46003
[11] S. Dorofeev , H. Kleisli ( 1995 ), Functorial Methods in the Theory of Group Representation I . Applied Categorical Structures , 3 , 151 - 172 . MR 1329189 | Zbl 0822.18003 · Zbl 0822.18003 · doi:10.1007/BF00877634
[12] H. Kleisli , H.P. Künzi ( 1995 ), Topological totally convex spaces, II . Cahiers de Topologie et Géométrie Différentielle Catégorique , 36 , 11 - 52 . Numdam | MR 1322800 | Zbl 0822.18002 · Zbl 0822.18002 · numdam:CTGDC_1995__36_1_11_0 · eudml:91558
[13] H. Kleisli , H.P. Künzi , J. Rosičký ( 1996 ), A topological Banach space model of linear logic . Proceedings of the Workshop on Categorical Topology, L’Aquila , 155 - 162 . MR 1412582 | Zbl 0891.46046 · Zbl 0891.46046
[14] E. Schläpfer , On group algebras, Chu spaces and induced representations of topological Hausdorff groups . Doctoral thesis, Faculty of Science, Université de Fribourg , 1998 .
[15] H.H. Schaeffer , Topological Vector Spaces, third printing corrected . Springer-Verlag , 1971 . MR 342978 | Zbl 0217.16002 · Zbl 0217.16002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.