yogsototh/categories
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed title

Browse source
This commit is contained in:
Yann Esposito (Yogsototh) 2012-10-10 21:55:30 +02:00
parent e63709dde2
commit 2d5264a8c5
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
00_Introduction.lhs
View file

@ -186,4 +186,18 @@ A -> ApCp [label="h'",arrowhead=None]
ApCp -> C
</graph>
In fact we could have made something equivalent and far easier to read.
But the ∘ relation will be more hidden.
<graph title="Less Graphic Category Representation">
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'"]
</graph>