Skip to main content
SpringerLink
Log in

Algebraic theories in toposes

  • Conference paper
  • First Online:
Indexed Categories and Their Applications

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

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
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.

References

  1. C. Anghel and P. Lecouturier, Généralisation d'un résultat sur le triple de la réunion. Ann. Fac. Sci. de Kinshasa (Zaire), Section Math.-Phys., 1 (1975), 65–94.

    MathSciNet  MATH  Google Scholar 

  2. M. Barr, Exact categories. "Exact categories and categories of sheaves", Springer Lecture Notes in Math. 236 (1971), 1–120.

    Article  MATH  Google Scholar 

  3. J. Bénabou, Structures algébriques dans les catégories. Cahiers top. et géom. diff. 10 (1968), 1–126.

    MATH  Google Scholar 

  4. J. Bénabou, Problèmes dans les topos. Univ. Cath. de Louvain, Inst. de Math. Pure et Appliquée, Rapport no. 34 (1973).

    Google Scholar 

  5. J. Bénabou, Théories relatives à un corpus. C.R. Acad. Sci. Paris 281 (1975), A831–834.

    MATH  Google Scholar 

  6. G. Birkhoff, The structure of abstract algebras. Proc. Camb. Philos. Soc. 31 (1935), 433–454.

    Article  MATH  Google Scholar 

  7. F. Borceux and B.J. Day, Universal algebra in a closed category. Preprint, University of Sydney 1976.

    Google Scholar 

  8. R.B. Coates, "Semantics of generalized structures", Ph.D. thesis, King's College, London, 1974.

    Google Scholar 

  9. P.M. Cohn, "Universal Algebra", Harper and Row, 1965.

    Google Scholar 

  10. M.F. Coste, M. Coste and J. Parent, Algèbres de Heyting dans les topos. Seminaire Bénabou, Université Paris-Nord 1974.

    Google Scholar 

  11. R. Diaconescu, Change of base for toposes with generators. J. Pure and Applied Algebra 6 (1975), 191–218.

    Article  MathSciNet  MATH  Google Scholar 

  12. P. Freyd, Aspects of topoi. Bull. Austral. Math. Soc. 7 (1972), 1–76.

    Article  MathSciNet  MATH  Google Scholar 

  13. M. Hakim, "Topos annelés et schémas relatifs". Ergebnisse der Mathematik, Band 64, Springer-Verlag, 1972.

    Google Scholar 

  14. P.T. Johnstone, Internal categories and classification theorems. "Model Theory and Topoi", Springer Lecture Notes in Math. 445 (1975), 103–113.

    Article  MathSciNet  MATH  Google Scholar 

  15. P.T. Johnstone, "Some aspects of internal category theory in an elementary topos". Ph.D. thesis, Cambridge University 1974.

    Google Scholar 

  16. P.T. Johnstone, Adjoint lifting theorems for categories of algebras. Bull. Lond. Math. Soc. 7 (1975), 294–297.

    Article  MathSciNet  MATH  Google Scholar 

  17. P.T. Johnstone, "Topos Theory". L.M.S. Mathematical Monographs no. 10, Academic Press, 1977.

    Google Scholar 

  18. M. Justersen, Ph.D. thesis, Aarhus Universitet 1969.

    Google Scholar 

  19. A. Kock, Monads on symmetric monoidal closed categories. Arch. Math. (Basel) 21 (1970), 1–10.

    Article  MathSciNet  MATH  Google Scholar 

  20. A. Kock, Universal projective geometry via topos theory. J. Pure and Applied Algebra 9 (1976), 1–24.

    Article  MathSciNet  MATH  Google Scholar 

  21. A. Kock, P. Lecouturier and C.J. Mikkelsen, Some topos-theoretic concepts of finiteness. "Model Theory and Topoi", Springer Lecture Notes in Math. 445 (1975), 209–283.

    Article  MathSciNet  MATH  Google Scholar 

  22. F.W. Lawvere, "Functorial semantics of algebraic theories". Ph.D. thesis, Columbia University 1963; summarized in Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 869–872.

    Article  MathSciNet  MATH  Google Scholar 

  23. F.W. Lawvere, Variable quantities and variable structures in topoi. "Algebra, Topology and Category Theory: a collection of papers in honor of Samuel Eilenberg", Academic Press 1976, 101–131.

    Google Scholar 

  24. D. Lazard, Sur les modules plats. C.R. Acad. Sci. Paris 258 (1964), 6313–6316.

    MathSciNet  MATH  Google Scholar 

  25. B. Lesaffre, "Structures algébriques dans les topos élémentaires". Thèse de 3e cycle, Université Paris VII 1974; summarized in C.R. Acad. Sci. Paris 277 (1973), A663–666.

    MathSciNet  MATH  Google Scholar 

  26. F.E.J. Linton, Some aspects of equational categories. Proc. La Jolla conference on Categorical Algebra, Springer-Verlag 1966, 84–94.

    Google Scholar 

  27. F.E.J. Linton, Coequalizers in categories of algebras. "Seminar on Triples and Categorical Homology Theory", Springer Lecture Notes in Math. 80 (1969), 75–90.

    Article  MathSciNet  MATH  Google Scholar 

  28. M. Makkai and G.E. Reyes, Model-theoretic methods in the theory of topoi and related categories. Bull. Acad. Polon. Sci. 24 (1976), 379–392.

    MathSciNet  MATH  Google Scholar 

  29. E.G. Manes, "Algebraic Theories". Graduate Texts in Math. no. 26, Springer-Verlag, 1976.

    Google Scholar 

  30. C.J. Mikkelsen, "Lattice-theoretic and logical aspects of elementary topoi". Aarhus Universitet Various Publications Series no. 25, 1976.

    Google Scholar 

  31. G. Osius, Logical and set-theoretical tools in elementary topoi. "Model Theory and Topoi", Springer Lecture Notes in Math. 445 (1975), 297–346.

    Article  MathSciNet  MATH  Google Scholar 

  32. R. Paré, Colimits in topoi. Bull. Amer. Math. Soc. 80 (1974), 556–561.

    Article  MathSciNet  MATH  Google Scholar 

  33. R. Paré and D. Schumacher, Abstract families and the Adjoint Functor Theorems. This volume.

    Google Scholar 

  34. J. Penon, Catégories localement internes. C.R. Acad. Sci. Paris 278 (1974), A1577–1580.

    MathSciNet  MATH  Google Scholar 

  35. J.D.H. Smith, "Mal'cev Varieties". Springer Lecture Notes in Math. 554 (1976).

    Google Scholar 

  36. M. Tierney, Forcing topologies and classifying topoi. "Algebra, Topology and Category Theory: a collection of papers in honor of Samuel Eilenberg", Academic Press 1976, 211–219.

    Google Scholar 

  37. H. Wolff, V-Cat and V-Graph. J. Pure and Applied Algebra 4 (1974), 123–135.

    Article  MathSciNet  MATH  Google Scholar 

  38. G. C. Wraith, "Algebraic Theories". Aarhus Universitet Lecture Notes Series no. 22 (revised edition 1975).

    Google Scholar 

  39. G.C. Wraith, Lectures on elementary topoi. "Model Theory and Topoi", Springer Lecture Notes in Math. 445 (1975), 114–206.

    Article  MathSciNet  MATH  Google Scholar 

  40. R. Wood, V-indexed categories. This volume.

    Google Scholar 

Download references

Authors
  1. Peter T. Johnstone
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gavin C. Wraith
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1978 Springer-Verlag

About this paper

Cite this paper

Johnstone, P.T., Wraith, G.C. (1978). Algebraic theories in toposes. In: Indexed Categories and Their Applications. Lecture Notes in Mathematics, vol 661. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061363

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08914-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation