This page is about the concept in mathematics. For the concept of the same name in philosophy see at category (philosophy). Context Category theory Idea A category consists of a collection of things and binary relationships (or transitions) between them, such that these relationships can be combined and include the “identity” relationship “is the same as.” A category is a quiver (a directed graph