edge

In a graph an **edge** is an element that goes from one vertex to another.

If the graph underlies a category then an edge is a morphism.

If the graph underlies a simplicial set then an edge is a 1-dimensional simplex.

Created on October 31, 2012 19:01:49
by Urs Schreiber
(82.169.65.155)