ETCS with a choice operator . The categorical analogue of (bounded) SEAR plus epsilon (although that article seems to be about SEAR with the non-extensional version of the choice operator).
Last revised on February 12, 2025 at 22:06:45. See the history of this page for a list of all contributions to it.