Comments:

121 pages, reprinted 2004

Abstract:

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/

Download:

Afsemwl.htm

Links:

No messages.