Skip to main content
SpringerLink
Log in

An outline of functorial semantics

  • Conference paper
  • First Online:
Seminar on Triples and Categorical Homology Theory

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

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Appelgate, H. Acyclic models and resolvent functors. Dissertation, Columbia U., New York, 1965

    Google Scholar 

  2. Barr, M. A note on a construction of Kleisli. Mimeographed, U. of Illinois, Urbana, 1965.

    Google Scholar 

  3. Beck, J.M. Triples, algebras, and cohomology. Dissertation, Columbia U., New York, 1967.

    MATH  Google Scholar 

  4. Bénabou, J. Critères de représentabilité des foncteurs. C.R. Acad. Sci. Paris 260 (1965), pp. 752–755.

    MathSciNet  MATH  Google Scholar 

  5. Bénabou, J. Structures algébriques dans les catégories. Thèse, Fac. Sci., U. de Paris, 1966.

    Google Scholar 

  6. Birkhoff, G.D. On the structure of abstract algebras. Proc. Camb. Phil. Soc. 31 (1935), pp. 433–454.

    Article  MATH  Google Scholar 

  7. Cohn, P. M.: Universal Algebra. Harper & Row, New York, 1965.

    MATH  Google Scholar 

  8. Eilenberg, S., & Kelly, G.M. Closed categories. Proc. Conf. Categ. Alg. (La Jolla, 1965). Springer, Berlin, 1966, pp. 421–562.

    MATH  Google Scholar 

  9. Eilenberg, S., & Moore, J. C. Adjoint functors and triples. Ill. J. Math. 9 (1965), pp. 381–398.

    MathSciNet  MATH  Google Scholar 

  10. Eilenberg, S., & Wright, J. B. Algebraic Categories and Automata Theory (to appear).

    Google Scholar 

  11. Huber, P. J. Homotopy theory in general categories. Math. Annalen 144 (1961), pp. 361–385.

    Article  MathSciNet  MATH  Google Scholar 

  12. Isbell, J. Adequate subcategories. Ill. J. Math. 4 (1960), pp. 541–552.

    MathSciNet  MATH  Google Scholar 

  13. Kleisli, H. Every standard construction is induced by a pair of adjoint functors. Proc. Amer. Math. Soc. 16 (1965), pp. 544–546.

    Article  MathSciNet  MATH  Google Scholar 

  14. Kock, A. Continuous Yoneda representation of a small category. Mimeographed, E.T.H. Zürich, 1966.

    Google Scholar 

  15. Lawvere, F.W. Functorial semantics of algebraic theories. Dissertation, Columbia U., New York, 1963. Summarized in Proc. Nat. Acad. Sci. 50 (1963), pp. 869–872.

    MATH  Google Scholar 

  16. Lawvere, F. W. An elementary theory of the category of sets. Mimeographed, E.T.H. Zürich, 1965. Summarized in Proc. Nat. Acad. Sci. 52 (1964), pp. 1506–1511.

    Google Scholar 

  17. Lawvere, F. W. The category of categories as a foundation for mathematics. Proc. Conf. Categ. Alg. (La Jolla, 1965), Springer, Berlin, 1966, pp. 1–20.

    MATH  Google Scholar 

  18. Linton, F.E.J. Triples vs. theories (preliminary report). Notices Amer. Math. Soc. 13 (1966), p. 227.

    Google Scholar 

  19. Linton, F.E.J. Some aspects of equational categories. Proc. Conf. Categ. Alg. (La Jolla, 1965), Springer, Berlin, 1966, pp. 84–94.

    MATH  Google Scholar 

  20. Linton, F.E.J. Applied functorial semantics, I. To appear in Annali di Matematica.

    Google Scholar 

  21. Mac Lane, S. Categorial algebra. Bull. Amer. Math. Soc. 71 (1965), pp. 40–106.

    Article  MathSciNet  MATH  Google Scholar 

  22. Manes, E.G. A triple miscellany: some aspects of the theory of algebras over a triple. Dissertation, Wesleyan U., Middletown, Conn., 1967.

    Google Scholar 

  23. Maranda, J.-M. On fundamental constructions and adjoint functors. Canad. Math. Bull. 9 (1966), pp. 581–591.

    Article  MathSciNet  MATH  Google Scholar 

  24. Słomiński, J. The theory of abstract algebras with infinitary operations. Rozprawy Mat. 18, Warszawa, 1959.

    Google Scholar 

  25. Sonner, J. On the formal definition of categories. Math. Z. 80 (1962), pp. 163–176.

    Article  MathSciNet  MATH  Google Scholar 

  26. Tierney, M. Model-induced cotroples. This volume.

    Google Scholar 

  27. Ulmer, F. Dense subcategories of functor categories. J. Alg. (to appear).

    Google Scholar 

Download references

Authors
  1. F. E. J. Linton
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

B. Eckmann

Rights and permissions

Reprints and permissions

Copyright information

© 1969 Springer-Verlag

About this paper

Cite this paper

Linton, F.E.J. (1969). An outline of functorial semantics. In: Eckmann, B. (eds) Seminar on Triples and Categorical Homology Theory. Lecture Notes in Mathematics, vol 80. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0083080

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-04601-1

  • Online ISBN: 978-3-540-36091-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation