Humans, Computers, Specifications

The goal of the paper is to manifest a special arrow diagram logic developed in mathematical category theory as capable to provide a general specification framework for information system engineering. We show that, unexpectedly, abstract ideas developed in categorical logic are of extremely high relevance for approaching some difficult specification problems in the field. Correspondingly, the arrow thinking underlying the diagram logic is suggested as a working way of thinking in information system engineering.