# Higgs paper A category approach to Boolean valued set theory''

As Philip Scott says about Denis 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.

• Afaik, a subsequent paper by him, Injectivity in the topos of complete Heyting algebra valued sets, contains most of the material from that preprint. May 24 '17 at 6:59
• Why not just contact Phil Scott? He's alive and kicking. May 24 '17 at 7:41
• @DavidHandelmanD I asked, but he doesn't have it. May 24 '17 at 14:00
• 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. May 24 '17 at 23:49

An earlier version ( [5] ) of this paper was accepted for publication in the Canadian Mathematical Bulletin but for various reasons I discontinued the process of seeing it through into print. In addition to the present contents, [5] contained: a brief account of logic in $$\mathcal L(\mathcal A)$$; the Lawvere Tierney version (for $$\mathcal L(\mathcal A)$$) of the independence of the continuum hypothesis [14]; a sketch of a proof that $$\mathcal L(\mathcal A)$$ is equivalent to the category of sets within the universe $$V^{\mathcal A}$$ of $$\mathcal A$$-valued set theory; a mention of sheaves on an arbitrary site from the point of view of $$\mathcal A$$-valued sets; and some elementary remarks on boolean powers and ultrapowers in relation to $$\mathcal L(\mathcal A)$$.