Closed coherence for a natural transformation

  • G. M. Kelly
  • Saunders Mac Lane
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 281)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    G. M. Kelly and S. Mac Lane, Coherence in Closed Categories, J. Pure Appl. Alg. 1(1971) 97–140.MathSciNetCrossRefMATHGoogle Scholar
  2. [2]
    G. M. Kelly, An abstract approach to Coherence, (in this volume).Google Scholar
  3. [3]
    S. Eilenberg and G. M. Kelly, Closed Categories, in: Proc. Conf. on Categorical Algebra, La Jolla, 1965 (Springer-Verlag, 1966) pp. 421–562.Google Scholar
  4. [4]
    G. Gentzen, Untersuchungen über das logische Schliessen I, II, Math. Z. 39(1934–1935) 176–210 and 405–431.MathSciNetCrossRefMATHGoogle Scholar
  5. [5]
    J. Lambek, Deductive Systems and Categories I. Syntactic Calculus and Residuated Categories, Math. Systems Theory 2(1968) 287–318.MathSciNetCrossRefMATHGoogle Scholar
  6. [6]
    S. Mac Lane, Natural Associativity and Commutativity, Rice University Studies 49(1963) 28–46.MathSciNetMATHGoogle Scholar
  7. [7]
    S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, Berlin, Heidelberg, New York 1972.MATHGoogle Scholar

Copyright information

© Springer-Verlag 1972

Authors and Affiliations

  • G. M. Kelly
    • 1
  • Saunders Mac Lane
    • 2
  1. 1.The University of New South WalesAustralia
  2. 2.The University of ChicagoChicagoUSA

Personalised recommendations