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? :-}