A graph with commutativity conditions, limits, and colimits that formally specifies the structure of a mathematical or computational problem.