@article{menni2018unity, title={-The unity and identity of decidable objects and double-negation sheaves}, author={Menni, Mat{\'\i}as}, journal={The Journal of Symbolic Logic}, volume={83}, number={4}, pages={1667--1679}, year={2018}, publisher={Cambridge University Press} }