diff --git a/00_Introduction.lhs b/00_Introduction.lhs index 0a6e2b2..9e8ec9c 100644 --- a/00_Introduction.lhs +++ b/00_Introduction.lhs @@ -186,4 +186,18 @@ A -> ApCp [label="h'",arrowhead=None] ApCp -> C + + +In fact we could have made something equivalent and far easier to read. +But the ∘ relation will be more hidden. + + + +A -> B[label="f"] +A -> B[label="f'"] +B -> C[label="g"] +B -> C[label="g'"] +A -> C [label="h=g∘f=g'∘f'"] +A -> C [label="h'=g'∘f=g∘f'"] +