MANUALS IN ORTHOGONAL CATEGORIES

The notion of a manual, introduced and investigated in detail by Foulis, Randall, and their followers, has turned out to be further reaching than its originators had envisaged. Its omnipresence is comparable with the notion of a sheaf, whose significance is well recognized by every pure and applied mathematician. The principal concern of this paper is to give an appropriate vehicle, as general as possible, by which the theory of manuals can be developed. The vehicle is called an orthogonal category, which is akin to the notion of a category with coproducts. Orthogonal categories provide also a new perspective on the notion of a sheaf over a complete Boolean algebra, deepening our comprehension of Boolean mathematics and paving the way to quantum mathematics.