Category theory MOC Arrow category The arrow category of a category has morphisms of as objects, and for and a morphism is a pair of morphisms and such that the following diagram commutes:1 cat develop | en | sembr Footnotes 2010. Category theory, p. 15 ↩