26 Nov
2007
26 Nov
'07
1:14 p.m.
apfelmus wrote:
But we'd probably need the glossary articles first before linking to them :)
+12 I added added alpha, beta and eta conversion a while back. (And then some kind soul corrected it because half of what I wrote was actually *wrong*...) Anybody want to take a stab at all 15 kinds of morphisms? :-}