Abstract
We will show that the category V of topological Banach balls (introduced by M. Barr [1] - [3]) is a model of the full linear logic. The cotripel ! on V is constructed from the adjointness between V and the cartesian closed category of Hausdorff topological spaces and k-continuous maps.
This paper was written while the second author was supported by the Swiss National Science Foundation under grant 21-30585.91 and by the Spanish Ministry of Education and Sciences under the DGICYT grant SAB94-0120. The first author acknowledges partial support under grant 21-36185.92 by Swiss National Science Foundation. The third author acknowledges support under grant 201/93/0950 of the Grant Agency of the Czech Republic.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Barr, Duality of Banach spaces, Cahiers de Topologie et Géométrie Différentielle, Vol.XVII-1 (1976), 15–32
M. Barr, Closed categories and topological vector spaces, Cahiers de Topologie et Géométrie Différentielle, Vol. XVII-3 (1976), 223 – 234.
M. Barr, Closed categories of Banach spaces, Cahiers de Topologie et Géométrie Différentielle, Vol. XVII-4 (1976), 335 – 342.
M. Barr, *-Autonomous Categories, Led. Notes in Math. 752, Springer-Verlag, Berlin 1979.
M. Barr, *-Autonomous categories and linear logic, Math. Struct, in Comp. Science 1 (1991), 159 – 178.
R. Brown, Function spaces and product topologies, Quat. Journal Math. Oxford 15 (1964), 238 – 250.
J. B. Cooper, Saks Spaces and Applications to Functional Analysis, 2nd edition. North-Holland-Mathematics Studies 139, Amsterdam 1987.
J.-Y. Girard, Linear Logic, Theor. Comp. Sci. 50 (1987), 1 – 102.
S. Dorofeev and H. Kleisli, Functorial methods in the theory of group representations, Preprint Université de Fribourg, Institut de Mathématiques, March 1994.
H. Kleisli and H.-P. Künzi, Topological totally convex spaces II. Cahiers de Topologie et Géométrie Différentielle Catégorique 36 (1995), 11 – 52.
R. A. G. Seely, Linear logic, *-autonomous categories and cofree coalgebras, Contemporary Mathematics 92 (1989), 371 – 382.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Kleisli, H., Künzi, HP., Rosický, J. (1996). A Topological Banach Space Model of Linear Logic. In: Giuli, E. (eds) Categorical Topology. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-0263-3_15
Download citation
DOI: https://doi.org/10.1007/978-94-009-0263-3_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6602-0
Online ISBN: 978-94-009-0263-3
eBook Packages: Springer Book Archive