FiniteCategories-0.1.0.0: test/ExampleAdjunction/ExampleAdjunction.scg

6


A -1-> B 
B -5-> E
A -2-> C
C -6-> F
D -3-> E
D -4-> F
A -7-> D


A -7-> D -4-> F = A -2-> C -6-> F
A -7-> D -3-> E = A -1-> B -5-> E