Reflexive graph, meaning of the reflection

475 Views Asked by At

Here on the page 1 there is a definition of reflexive graph. I need an intuition how it works the morphism $e:X_0\to X_1.$ What is it and to what edge in $X_1$ it sends a vertex from $X_0$?

1

There are 1 best solutions below

1
On BEST ANSWER

It sends a vertex $v$ to an looped edge $e \circ v$ that is from $v$ to $v$, where $\circ$ is composition of functions. The word "reflexive" in the graph means such edges exist. For details on reflexive graphs, see "Lawvere, Rosebrugh: Sets for mathematics".