On mathematical foundations for business modeling

Business modeling (BM) is mathematically developed with reference to engineering research. The business domain is discussed as topos, a particular case of general mathematical structure. The toposes are syntactically presented by a directed graph with diagrams marked by labels. A natural mathematical apparatus is analyzed for the manipulation of business specification irrespective of visualization superstructures.