@article{TAC_2015_30_a25,
     author = {F. W. Lawvere and M. Menni},
     title = {Internal choice holds in the discrete part
of any cohesive topos satisfying stable connected codiscreteness},
     journal = {Theory and applications of categories},
     pages = {909--932},
     publisher = {mathdoc},
     volume = {30},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2015_30_a25/}
}