• Cecilia Flori
Part of the Lecture Notes in Physics book series (LNP, volume 944)


As a first step, we introduce the notion of a frame [73] which is a lattice L with all finite meets and all joins which satisfies the following distributive law


  1. 49.
    P.T. Johnstone, Stone Space (Cambridge University Press, Cambridge, 1986)Google Scholar
  2. 50.
    P.T. Johnstone, Sketches of an Elephant A Topos Theory Compendium I, II (Oxford Science Publications, Oxford, 2002)Google Scholar
  3. 55.
    S. MacLane, I. Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Springer, London, 1968)Google Scholar
  4. 73.
    S. Vickers, Topology via Logic (Cambridge University Press, New York, 1989)Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • Cecilia Flori
    • 1
  1. 1.Computing and Mathematical SciencesThe Waikato UniversityHamiltonNew Zealand

Personalised recommendations