From 2d5264a8c5ad1c6847946e87608807dd87337945 Mon Sep 17 00:00:00 2001 From: "Yann Esposito (Yogsototh)" Date: Wed, 10 Oct 2012 21:55:30 +0200 Subject: [PATCH] fixed title --- 00_Introduction.lhs | 14 ++++++++++++++ 1 file changed, 14 insertions(+) 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'"] +