Advertisement

Theories as categories

  • Michael P. Fourman
Part II Research Contributions Section 3: Categorical Logic
Part of the Lecture Notes in Computer Science book series (LNCS, volume 240)

Keywords

Category Theory Preserve Functor Left Adjoint Finite Limit Forgetful Functor 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. 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
  2. Fourman, Michael P. and Dana S. Scott [79] 'sheaves and Logic', Applications of Sheaves, Springer LNM 753, pp. 302–401.Google Scholar
  3. 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
  4. Johnstone, Peter T. [77] ‘Topos theory', Academic Press, London.Google Scholar
  5. [82] 'stone Spaces', Cambridge Studies in Advanced Mathematics 3, Cambridge University Press, Cambridge.Google Scholar
  6. Kock, Anders and Gonzalo E. Reyes [77] ‘Doctrines in Categorical Logic', Handbook of Mathematical Logic', North-Holland, 1977, pp. 283–313.Google Scholar
  7. Lawvere, F. William [69] ‘Adjointness in Foundations', Dialectica, 23 (1969), pp. 281–196.Google Scholar
  8. MacLane, Saunders [71] ‘Categories for the Working Mathematician', Graduate Texts in Mathematics 5, Springer-Verlag, New York.Google Scholar
  9. 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
  10. Scott, Dana S. [79] ‘Identity and Existence in Intuitionistic Logic', Applications of Sheaves, Springer LNM 753, pp. 660–696.Google Scholar
  11. 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
  12. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Michael P. Fourman
    • 1
    • 2
  1. 1.Elec. Eng.Brunel UniversityUK
  2. 2.Steven Vickers, Dept. of ComputingImperial CollegeUK

Personalised recommendations