Ancestors

Written by Naïm Camille Favier on 2025-01-13 at 20:38

Could someone who actually knows topos theory check my answer here?

=> More informations about this toot | More toots from ncf@types.pl

Toot

Written by Martin Escardo on 2025-01-13 at 21:48

@ncf

It is correct.

See also our paper

https://lmcs.episciences.org/3217

which discusses subsingleton choice.

=> More informations about this toot | More toots from MartinEscardo@mathstodon.xyz

Descendants

Written by Martin Escardo on 2025-01-13 at 21:53

@ncf

(Notice also that LEM implies subsingleton choice.)

=> More informations about this toot | More toots from MartinEscardo@mathstodon.xyz