%0 Journal Article
%A F. W. Lawvere
%A M. Menni
%T Internal choice holds in the discrete part
of any cohesive topos satisfying stable connected codiscreteness
%J Theory and applications of categories
%D 2015
%P 909-932
%V 30
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2015_30_a25/
%G en
%F TAC_2015_30_a25