Skip to main content

Deductive systems and categories II. Standard constructions and closed categories

Part of the Lecture Notes in Mathematics book series (LNM,volume 86)

Keywords

  • Deductive System
  • Inductional Assumption
  • Monoidal Category
  • Small Category
  • Left Adjoint

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/BFb0079385
  • Chapter length: 47 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   54.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-36095-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   69.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beck, J., “The tripleableness theorem”, manuscript.

    Google Scholar 

  2. Benabou, J., “Algèbre élémentaire dans les catégories avec multiplication”, C. R. Acad. Sc. Paris, 258; pp. 771–774, (1964).

    MathSciNet  MATH  Google Scholar 

  3. Benabou, J., “Catégories relatives”, C. R. Acad. Sc. Paris, 260; pp. 3824–3827, (1965).

    MathSciNet  MATH  Google Scholar 

  4. Lambek, J., “Deductive systems and categories (I)”, Math. Systems Theory, to appear.

    Google Scholar 

  5. Paré, R., “Absolute coequalizers”, in this volume.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1969 Springer-Verlag

About this paper

Cite this paper

Lambek, J. (1969). Deductive systems and categories II. Standard constructions and closed categories. In: Hilton, P.J. (eds) Category Theory, Homology Theory and their Applications I. Lecture Notes in Mathematics, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079385

Download citation

  • DOI: https://doi.org/10.1007/BFb0079385

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-04605-9

  • Online ISBN: 978-3-540-36095-7

  • eBook Packages: Springer Book Archive