Provotar, A. I.; Kondratenko, V. A.; Dudka, T. N. Boolean algebra as a fragment of the theory of Boolean toposes. (English. Russian original) Zbl 0992.03077 Cybern. Syst. Anal. 37, No. 1, 131-137 (2001); translation from Kibern. Sist. Anal. 2001, No. 1, 163-170 (2001). As is well known, the classical presentation of the theory of Boolean functions is based on the understanding of Boolean functions as some relations over the set \(\{0,1\}\).In this paper, the presentation relies on the notion of an arrow, i.e., a mapping abstracted from data. It is shown that many relations of Boolean algebra also take place in arbitrary toposes. However, the so-called “fundamental” set of relations, i.e., the set of relations generating all other relations of Boolean algebra, is fulfilled only in Boolean toposes. In other words, the relations of Boolean algebra are fulfilled within the framework of a very narrow class of toposes, namely Boolean toposes. In particular, an example of a Boolean topos can be the category of sets or, what is the same, set-mathematics whose modern building is constructed from “blocks” called sets. Reviewer: Dimitru Busneag (Craiova) MSC: 03G05 Logical aspects of Boolean algebras 18B25 Topoi 06E30 Boolean functions 18B05 Categories of sets, characterizations 06E05 Structure theory of Boolean algebras 03G30 Categorical logic, topoi Keywords:categorical analogs of identities of Boolean algebra; Boolean functions; arrow; Boolean toposes; category of sets PDFBibTeX XMLCite \textit{A. I. Provotar} et al., Cybern. Syst. Anal. 37, No. 1, 131--137 (2001; Zbl 0992.03077); translation from Kibern. Sist. Anal. 2001, No. 1, 163--170 (2001) Full Text: DOI