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

Merge branch 'master' of github:yogsototh/categories

Browse source 
* 'master' of github:yogsototh/categories:
  fixed title
This commit is contained in:
Yann Esposito 2012-10-11 08:34:29 +02:00
commit fedd31c5f2
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 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> </graph>