A category is a collection of objects together with a set of morphisms or maps between any two objects. In particular, there is always for each object in an identity morphism . Finally, a category must obey the following composition law: for all triples , , of objects such that composition is associative, and identity morphisms are identities for composition. That is,
Wikidata ID: Q719395