Skip to main content
SpringerLink
Log in

Proof of a S.Mac Lane conjecture (extended abstract)

  • Conference paper
  • First Online:
Category Theory and Computer Science (CTCS 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 953))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G.M. Kelly and S. Mac Lane. Coherence in Closed Categories. Journal of Pure and Applied Algebra, 1(1):97–140, 1971.

    Article  Google Scholar 

  2. R. Voreadou. Coherence and non-commutative diagrams in closed categories. Memoirs of the AMS, v.9,issue 1, No 182 (last of two numbers), January 1977.

    Google Scholar 

  3. J. Lambek. Deductive Systems and Categories. II. Lecture Notesin Math., 86: 76–122, 1969.

    Google Scholar 

  4. J. Lambek. Multicategories Revisited. Contemporary Math.92(1989), 217–239.

    Google Scholar 

  5. M.E. Szabo. Algebra of Proofs. Studies in Logic and the Foundations of Mathematics, 88(1978), North-Holland P.C.,.

    Google Scholar 

  6. G.E. Mints. Closed categories and Proof Theory. Journal of Soviet Mathematics, 15:45–62, 1981.

    Google Scholar 

  7. S.V. Soloviev. On the conditions of full coherence in closed categories. Journal of Pure and Applied Algebra, 69:301–329, 1990.

    Google Scholar 

  8. C.B. Jay. The structure of free closed categories. Journal of Pure and Applied Algebra, 66(3):271–287, 1990.

    Article  Google Scholar 

  9. G.M.Kelly. A cut-elimination theorem. Ibid., 196–213.

    Google Scholar 

  10. G.Bierman. Ph.d. Thesis, Oxford, 1994.

    Google Scholar 

  11. G.-Y. Girard, Y. Lafont. Linear logic and lazy computation. In: Proc.TAPSOFT 87 (Pisa), v.2, p.52–66, Lecture Notes in Comp.Sci. v.250, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. St.Petersburg Institute for Informatics of the Russian Academy of Sciences (SPIIRAN), 14-th line, 39, 199178, St.Petersburg

    S. Soloviev

Authors
  1. S. Soloviev
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David Pitt David E. Rydeheard Peter Johnstone

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Soloviev, S. (1995). Proof of a S.Mac Lane conjecture (extended abstract). In: Pitt, D., Rydeheard, D.E., Johnstone, P. (eds) Category Theory and Computer Science. CTCS 1995. Lecture Notes in Computer Science, vol 953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60164-3_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-60164-3_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60164-7

  • Online ISBN: 978-3-540-44661-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation