nLab arrow

The term arrow is sometimes used as a synonym for morphism, map, and also for directed edge (in a directed graph or quiver).

In computer science it may also refer to a concept generalizing monads, see at arrow (in computer science).

Abbreviations for the class of all arrows of a category C\mathsf{C} used in the literature include Arr(C)\mathrm{Arr}(\mathsf{C}), Ar(C)\mathrm{Ar}(\mathsf{C}), and Mor(C)\mathrm{Mor}(\mathsf{C}). Note that this is the class of objects of the arrow category of C\mathsf{C}, and the same notations are sometimes used for that whole category.

category: disambiguation

Last revised on July 21, 2017 at 06:49:35. See the history of this page for a list of all contributions to it.