Lawvere, F. W.Overview
Most widely held works by
F. W Lawvere
Sets for mathematics
by F. W Lawvere
(
)
14 editions published between 2002 and 2003 in English and held by 1,561 WorldCat member libraries worldwide In this textbook, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra
Conceptual mathematics : a first introduction to categories
by F. W Lawvere
(
Book
)
53 editions published between 1991 and 2012 in English and held by 881 WorldCat member libraries worldwide This is an introduction to thinking about elementary mathematics from a categorial point of view. The goal is to explore the consequences of a new and fundamental insight about the nature of mathematics
Model theory and topoi : a collection of lectures by various authors
by F. W Lawvere
(
Book
)
25 editions published between 1975 and 2008 in English and German and held by 535 WorldCat member libraries worldwide
Toposes, algebraic geometry and logic
by I Bucur
(
Book
)
24 editions published between 1972 and 2008 in English and German and held by 525 WorldCat member libraries worldwide
Categories in continuum physics : lectures given at a workshop held at SUNY, Buffalo, 1982
by F. W Lawvere
(
Book
)
21 editions published in 1986 in 3 languages and held by 519 WorldCat member libraries worldwide
An elementary theory of the category of sets
by F. W Lawvere
(
Book
)
12 editions published between 1960 and 1975 in English and Undetermined and held by 157 WorldCat member libraries worldwide
The language of algebra; fields and ordered fields
by F. W Lawvere
(
Book
)
10 editions published between 1960 and 1961 in English and held by 60 WorldCat member libraries worldwide
Variable sets etendu and variable structure in topoi
by F. W Lawvere
(
Book
)
6 editions published between 1975 and 1976 in English and held by 46 WorldCat member libraries worldwide
Teoria delle categorie : un'introduzione alla matematica : matematica concettuale
by F. W Lawvere
(
Book
)
3 editions published in 1994 in Italian and held by 17 WorldCat member libraries worldwide
Categorical studies in Italy
(
Book
)
3 editions published in 2000 in English and Swedish and held by 16 WorldCat member libraries worldwide
Algebraic theories : a categorical introduction to general algebra
by Jiří Adámek
(
)
6 editions published between 2010 and 2011 in English and held by 14 WorldCat member libraries worldwide "Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a categorical view of general algebra. Moreover, they have proved very useful in various areas of mathematics and computer science. This carefully developed book gives a systematic introduction to algebra based on algebraic theories that is accessible to both graduate students and researchers. It will facilitate interactions of general algebra, category theory and computer science. A central concept is that of sifted colimits  that is, those commuting with finite products in sets. The authors prove the duality between algebraic categories and algebraic theories and discuss Morita equivalence between algebraic theories. They also pay special attention to onesorted algebraic theories and the corresponding concrete algebraic categories over sets, and to Ssorted algebraic theories, which are important in program semantics. The final chapter is devoted to finitary localizations of algebraic categories, a recent research area."
Functorial semantics of algebraic theories
by F. W Lawvere
(
Book
)
8 editions published between 1963 and 1982 in English and Undetermined and held by 13 WorldCat member libraries worldwide
Matemáticas conceptuales : una primera introducción a categorías
by F. W Lawvere
(
Book
)
1 edition published in 2002 in Spanish and held by 8 WorldCat member libraries worldwide
Categories in continuum physics : lectures given at a workshop (on category theory and the foundations of continuum thermomechanics), Buffalo, N.Y., (May) 1982
(
Book
)
1 edition published in 1986 in English and held by 6 WorldCat member libraries worldwide
Category theory and its applications : dedicated to professor Bill Lawvere
(
Book
)
1 edition published in 2000 in English and held by 4 WorldCat member libraries worldwide
Special volume on the occasion of the 60th birthday of professor Michael Barr : [talks from a conference held at McGill University from 29 May to 31 May 1997]
(
Book
)
2 editions published in 1999 in English and held by 4 WorldCat member libraries worldwide
Reports of the Midwest Category Seminar II
by André
(
Book
)
2 editions published in 1968 in English and held by 3 WorldCat member libraries worldwide
Seminar on triples and categorical homology theory, ETH, 196667
by H Appelgate
(
Book
)
1 edition published in 1969 in English and held by 2 WorldCat member libraries worldwide
Toposes, algebraic geometry and logic : Proceedings of a conference held at Dalhousie University, Halifax, January 1619, 1971
by Conference on Connections between Category Theory and Alebraic Geometry & Intuitionistic Logic
(
Book
)
1 edition published in 1972 in German and held by 1 WorldCat member library worldwide
Functorial semantics of algebraic theories and, Some algebraic problems in the context of functorial semantics of algebraic theories
by F. W Lawvere
(
)
1 edition published in 2004 in English and held by 1 WorldCat member library worldwide more
fewer
Audience Level
Related Identities
Associated Subjects
Algebra Algebra, Abstract Algebra, Homological Algebraic fields Algebraic logic Algebraic topology Categories (Mathematics) Continuum mechanics Field theory (Physics) Functor theory Geometry, Algebraic Homology theory Ktheory Logic, Symbolic and mathematical Mathematical physics Mathematics Model theory Programmed instruction Set theory Toposes Triples, Theory of

Alternative Names
Lawverc, F. William 1937
Lawvere, Bill.
Lawvere, Bill 1937
Lawvere, F. W.
Lawvere, F. W. 1937
Lawvere, F. William.
Lawvere, F. William 1937
Lawvere, Francis William.
Lawvere, Francis William 1937
Languages
Covers
