Journal of Soviet Mathematics

, Volume 22, Issue 3, pp 1387–1400

The category of finite sets and Cartesian closed categories

  • S. V. Solov'ev
Article

Abstract

Applying methods of the proof theory, it is shown that two canonical morphisms are equal in all Cartesian closed categories if and only if some of their realizations in the category of finite sets are equal. All realizations of formal combinations of objects using the functors x and hom are isomorphic in all Cartesian closed categories if and only if some of their realizations in the category of finite sets are isomorphic. On the base of these results, a purely syntactic decision algorithm for (extensional) isomorphism of formal combinations of objects and a new decision algorithm for equality of canonical morphisms are obtained.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature cited

  1. 1.
    J. Lambek, “Deductive systems and categories. I,” Math. Syst. Theory, No. 2, 287–318 (1968).Google Scholar
  2. 2.
    J. Lambek, “Deductive systems and categories. II,” in: Lecture Notes Math., Vol. 86 (1969), pp. 76–122.Google Scholar
  3. 3.
    J. Lambek, “Deductive systems and categories. III,” in: Lecture Notes Math., Vol. 274 (1972), pp. 57–82.Google Scholar
  4. 4.
    J. Lambek, “Fromλ-calculus to Cartesian closed categories,” Preprint, McGill University, Montreal (1979).Google Scholar
  5. 5.
    C. Mann, “The connection between equivalence of proofs and Cartesian closed categories,” Proc. London Math. Soc.,31, No. 3, 289–310 (1975).Google Scholar
  6. 6.
    G. E. Mints, “Category theory and proof theorey. I,” in: Actual Questions of Logic and Science Methodology [in Russian], Kiev (1980), pp. 252–278.Google Scholar
  7. 7.
    G. E. Mints, “Closed categories and proof theory,” Zap. Nauchn. Sem. Leningr. Otd. Inst. Akad. Nauk SSSR,68, 197–208 (1977).Google Scholar
  8. 8.
    M. Szabo, “A categorical equivalence of proofs,” Notre Dame J. Form. Log.,15, No. 2, 171–191 (1974).Google Scholar
  9. 9.
    Yu. L. Ershov, Theory of Numerations [in Russian], Moscow (1977).Google Scholar
  10. 10.
    D. Prawitz, Natural Deduction. A Proof Theoretical Study, Stockholm (1965).Google Scholar
  11. 11.
    S. MacLane, “Topology and logic as a source of algebra,” Bull. Am. Math. Soc.,82, No. 1, 1–40 (1976).Google Scholar

Copyright information

© Plenum Publishing Corporation 1983

Authors and Affiliations

  • S. V. Solov'ev

There are no affiliations available

Personalised recommendations