nLab arrow

Contents

Contents

As a synonym for morphism

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

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.

In computer science

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

Arrows may be viewed as monads relative to the Yoneda embedding, or equivalently as monads in the bicategory of profunctors.

For the notion in computer science, see also:

References

For the notion in computer science:

category: disambiguation

Last revised on February 28, 2024 at 07:13:30. See the history of this page for a list of all contributions to it.