A celebration of relations

Graph1

arrow1, arrow2, dot1, dot2, dot3, dot4

source of arrow1 = dot1

target of arrow1 = dot2

source of arrow2 = dot3

target of arrow2 = dot4

Graph2 (think sum)

arrow1, arrow2, dot1, dot2, dot3

source of arrow1 = dot1

target of arrow1 = dot2

source of arrow2 = dot3

target of arrow2 = dot2

target of arrow2 = target of arrow1

Graph3 (think sequence)

arrow1, arrow2, dot1, dot2, dot3

source of arrow1 = dot1

target of arrow1 = dot2

source of arrow2 = dot2

target of arrow2 = dot3

source of arrow2 = target of arrow1

Graph4 (think product)

arrow1, arrow2, dot1, dot2, dot3

source of arrow1 = dot1

target of arrow1 = dot2

source of arrow2 = dot1

target of arrow2 = dot3

source of arrow2 = source of arrow1

Graph5

arrow1, arrow2, dot1, dot2, dot3

source of arrow1 = dot1

target of arrow1 = dot2

source of arrow2 = dot3

target of arrow2 = dot3

target of arrow2 = source of arrow2

Graph6 (think equalizer)

arrow1, arrow2, dot1, dot2

source of arrow1 = dot1

target of arrow1 = dot2

source of arrow2 = dot1

target of arrow2 = dot2

target of arrow2 = target of arrow1

source of arrow2 = source of arrow1

Graph7 (think involution)

arrow1, arrow2, dot1, dot2

source of arrow1 = dot1

target of arrow1 = dot2

source of arrow2 = dot2

target of arrow2 = dot1

target of arrow2 = source of arrow1

source of arrow2 = target of arrow1

Graph8 (think left-identity law)

arrow1, arrow2, dot1, dot2

source of arrow1 = dot1

target of arrow1 = dot1

source of arrow2 = dot1

target of arrow2 = dot2

source of arrow2 = target of arrow1

target of arrow1 = source of arrow1

Graph9 (think idempotent)

arrow1, arrow2, dot1, dot2

source of arrow1 = dot1

target of arrow1 = dot2

source of arrow2 = dot2

target of arrow2 = dot2

target of arrow2 = source of arrow2

source of arrow2 = target of arrow1

Graph10 (think identities)

arrow1, arrow2, dot1, dot2

source of arrow1 = dot1

target of arrow1 = dot1

source of arrow2 = dot2

target of arrow2 = dot2

target of arrow2 = source of arrow2

target of arrow1 = source of arrow1

Graph11 (enough thinking

arrow1, arrow2, dot

source of arrow1 = dot

target of arrow1 = dot

source of arrow2 = dot

target of arrow2 = dot

target of arrow2 = source of arrow2

source of arrow2 = target of arrow1

target of arrow1 = source of arrow1

About these ads