Hostname: page-component-77c89778f8-vsgnj Total loading time: 0 Render date: 2024-07-25T05:46:56.397Z Has data issue: false hasContentIssue false
  • English
  • Français

Reflexive objects in topological categories

Published online by Cambridge University Press:  04 March 2009

Michael D. Rice
Michael D. Rice
Affiliation:
Computer Science Group, Mathematics Department, Wesleyan University, Middletown, CT 06459
Get access Rights & Permissions [Opens in a new window]

Abstract

This paper presents several basic results about the non-existence of reflexive objects in cartesian closed topological categories of Hausdorff spaces. In particular, we prove that there are no non-trivial countably compact reflexive objects in the category of Hausdorff k-spaces and, more generally, that any non-trivial reflexive Tychonoff space in this category contains a closed discrete subspace corresponding to a numeral system in the sense of Wadsworth. In addition, we establish that a reflexive Tychonoff space in a cartesian-closed topological category cannot contain a non-trivial continuous image of the unit interval. Therefore, if there exists a non-trivial reflexive Tychonoff space, it does not have a nice geometric structure.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 6 , Issue 4 , August 1996 , pp. 375 - 386
Copyright
Copyright © Cambridge University Press 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Adamek, J., Herrlich, H. and Strecker, G. (1990) Abstract and Concrete Categories, Pure and Applied Math, Wiley-Interscience.Google Scholar
Barendregt, H. (1984) The Lambda Calculus, Its Syntax and Semantics (revised edition), North-Holland.Google Scholar
Cook, H. (1967) Continua which admit only the identity mapping onto non-degenerate subcontinua. Fund. Math., LX 242–249.Google Scholar
Engelking, R. (1989) General Topology, Heldermann-Verlag.Google Scholar
Gillman, L. and Jerison, M. (1976) Rings of Continuous Functions, Graduate Texts in Mathematics 43, Springer-Verlag.Google Scholar
Hofmann, K. H. and Mislove, M. W. (1993) All compact lambda models are degenerate. Fundamenta Informaticae 22 93–116.Google Scholar
Huwig, H. and Poigné, A. (1990) A note on inconsistencies caused by fixpoints in a cartesian closed category. Theoretical Computer Science 73 101–112.CrossRefGoogle Scholar
Hurewicz, W. and Wallman, H. (1941) Dimension Theory, Princeton University Press.Google Scholar
Lawvere, F. W. (1969) Diagonal arguments and cartesian closed categories. In: Springer-Verlag Lecture Notes in Mathematics 92 133–145.Google Scholar
Lambek, J. and Scott, P. J. (1986) An Introduction to Higher Order Categorical Logic, Cambridge University Press.Google Scholar
Plotkin, G. D. and Smyth, M. B. (1977) The category-theoretic solution of recursive domain equations. In: Eighteen Annual Symposium on Foundations of Computer Science, IEEE Computer Society 13–29.Google Scholar
Rice, M. D. and Tashjian, G. J. (1983) Cartesian closed coreflective subcategories of uniform spaces generated by classes of metric spaces. Topology and Applications 15 301–312.CrossRefGoogle Scholar
Scott, D. S. (1972) Continuous lattices. Springer Verlag Lecture Notes in Mathematics 274 97–136.CrossRefGoogle Scholar
Steenrod, N. E. (1967) A convenient category of topological spaces. Michigan Math. J. 14 133–152.CrossRefGoogle Scholar
Tashjian, G. J. (1979) Cartesian-closed coreflective subcategories of Tychonoff spaces. Pacific Journal of Mathematics 81 (2) 547–558.CrossRefGoogle Scholar
Wadsworth, C. P. (1980) Some unusual ?-calculus numeral systems. In: To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, Academic Press 215–229.Google Scholar
Willard, S. (1968) General Topology, Addison-Wesley.Google Scholar