Person. F. William Lawvere Papers Adjointness in Foundations lawvere_1969Dialectica · 1969 DOI Functorial Semantics of Algebraic Theories lawvere_19631963 Web