A Category diagram where all paths of arrows lead to the same result.