Konstruktiv logik och lambda-kalkyl - en liten engelsk-svensk ordlista
----------------------------------------------------------------------

coeqalizer               koekvalisator

coproduct                koprodukt

curried function         stuvad funktion

combinator               kombinator

equalizer                ekvalisator

functor                  funktor
  faithful                  trogen
  full                      full


natural transformation   naturlig transformation

proof object             bevisföremål 

pullback                 fiberprodukt

presheaf                 förkärve

pushout                  fibersumma

sheaf                    kärve