Skip to main content
SpringerLink
Log in

Theories as categories

  • Part II Research Contributions
  • Chapter
  • First Online:
Category Theory and Computer Programming

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

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.

Bibliography

  • Fourman, Michael P. [82] ‘Continuous Truth I, Non-Constructive Objects', Logic Colloquium '82, eds G.Lolli, G.Longo and A.Marcja, North-Holland 1984.

    Google Scholar 

  • Fourman, Michael P. and Dana S. Scott [79] 'sheaves and Logic', Applications of Sheaves, Springer LNM 753, pp. 302–401.

    Google Scholar 

  • Hyland, J.M.E. [82] ‘The Effective Topos', The L.E.J. Brouwer Centenary Symposium, A.S. Troelstra and D. van Dalen eds., North-Holland, 1982.

    Google Scholar 

  • Johnstone, Peter T. [77] ‘Topos theory', Academic Press, London.

    Google Scholar 

  • [82] 'stone Spaces', Cambridge Studies in Advanced Mathematics 3, Cambridge University Press, Cambridge.

    Google Scholar 

  • Kock, Anders and Gonzalo E. Reyes [77] ‘Doctrines in Categorical Logic', Handbook of Mathematical Logic', North-Holland, 1977, pp. 283–313.

    Google Scholar 

  • Lawvere, F. William [69] ‘Adjointness in Foundations', Dialectica, 23 (1969), pp. 281–196.

    Google Scholar 

  • MacLane, Saunders [71] ‘Categories for the Working Mathematician', Graduate Texts in Mathematics 5, Springer-Verlag, New York.

    Google Scholar 

  • Reyes, Gonzalo [74] ‘From Sheaves to Logic', Studies in Algebraic Logic, A.Daigneault, ed. MAA Studies in Math. vol. 9, Math. Assoc. America, 1974, pp. 143–134.

    Google Scholar 

  • Scott, Dana S. [79] ‘Identity and Existence in Intuitionistic Logic', Applications of Sheaves, Springer LNM 753, pp. 660–696.

    Google Scholar 

  • Tierney, M. [76] ‘On the spectrum of a ringed topos’ and ‘Forcing topologies and classifying topoi', both in ‘Algebra, Topology and Category Theory: a collection of papers in honour of Samuel Eilenberg’ (ed. A Heller and M.Tierney), Academic Press.

    Google Scholar 

  • Wraith, Gavin [73] ‘Lectures on elementary topoi', from ‘Model Theory and Topoi’ (ed. F. W. Lawvere, C. Maurer and G. C. Wraith), Lecture Notes in Mathematics no. 445, Springer-Verlag, Berlin.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Elec. Eng., Brunel University, UK

    Michael P. Fourman

  2. Steven Vickers, Dept. of Computing, Imperial College, UK

    Michael P. Fourman

Authors
  1. Michael P. Fourman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David Pitt Samson Abramsky Axel Poigné David Rydeheard

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Fourman, M.P. (1986). Theories as categories. In: Pitt, D., Abramsky, S., Poigné, A., Rydeheard, D. (eds) Category Theory and Computer Programming. Lecture Notes in Computer Science, vol 240. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17162-2_136

Download citation

  • DOI: https://doi.org/10.1007/3-540-17162-2_136

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47213-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation