An important thesis and new paradigm concerning the foundations of mathematics involving categories and functors. It presents the categorical foundations of Mathematics in terms of Functorial Semantics of Algebraic Theories and some Algebraic Problems in the context of Functorial Semantics of Algebraic Theories, (based on the author's PhD Thesis at Columbia University).
Key words: functorial semantics, algebraic theories,algebraic theories, functorial semantics, foundations of mathematics in categories
Free on line downloads at:
http://www.tac.mta.ca/tac/reprints/articles/
http://www.tac.mta.ca/tac/reprints/articles/5/tr5.pdf http://www.tac.mta.ca/tac/reprints/articles/5/tr5abs.html http://www.tac.mta.ca/tac/reprints/articles/5/tr5.ps http://www.tac.mta.ca/tac/reprints/articles/5/tr5.dvi
Rights:
Open: originally published as: William F. Lawvere's Ph.D. thesis, Columbia University, 1963; and in Reports of the Midwest Category Seminar II, 1968, 41-61, "Copyright@Springer-Verlag, and used by permission." http://www.tac.mta.ca/tac/reprints/articles/
