It is known in topos theory that the axiom of choice implies that the topos is Boolean. In this paper we want to prove and generalize this result in the context of allegories. In particular, we will show that partial identities do have complements in distributive allegories with relational sums and total splittings assuming the axiom of choice. Furthermore, we will discuss possible modifications of the assumptions used in that theorem. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Winter, M. (2009). Complements in distributive allegories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5827 LNCS, pp. 337–350). https://doi.org/10.1007/978-3-642-04639-1_23
Mendeley helps you to discover research relevant for your work.