As Philip Scott says about Densi Higgs:

In category theory, he wrote an influential and beautiful long paper, "A category approach to Boolean valued set theory", which initiated many early students in topos theory in the 1970s to Omega-valued sets.

I wonder to know if there is a way to get access to the following paper by Higgs:

``A category approach to Boolean valued set theory''

Remarks. I am aware of some similar works, for example A category-theoretic approach to boolean-valued models of set theory or the book Sheaves in geometry and logic by Mac Lane and Moerdijk.

  • 2
    $\begingroup$ Afaik, a subsequent paper by him, Injectivity in the topos of complete Heyting algebra valued sets, contains most of the material from that preprint. $\endgroup$ – მამუკა ჯიბლაძე May 24 '17 at 6:59
  • $\begingroup$ Why not just contact Phil Scott? He's alive and kicking. $\endgroup$ – David Handelman May 24 '17 at 7:41
  • $\begingroup$ @DavidHandelmanD I asked, but he doesn't have it. $\endgroup$ – Mohammad Golshani May 24 '17 at 14:00
  • 1
    $\begingroup$ It's probably worth asking the categories mailing list. I remember this paper being cited in Walters' "Sheaves on sites as Cauchy-complete categories". And with the number of citations it has (over 100 according to Google Scholar), somebody must have a copy. $\endgroup$ – Tim Campion May 24 '17 at 23:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.