Lawvere, F. W.
Overview
Works:  34 works in 210 publications in 5 languages and 4,387 library holdings 

Genres:  Conference proceedings Programmed instruction 
Roles:  Author, Editor, Honoree 
Classifications:  QA3, 511.322 
Publication Timeline
.
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
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
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
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
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
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
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
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
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
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
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."
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
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
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
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
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
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
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
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
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
1 edition published in 2004 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Rosebrugh, Robert 1948
 Schanuel, S. H. (Stephen Hoel) 1933 Contributor Editor
 Maurer, Christian 1945 Editor
 Wraith, Gavin C. 1939 Editor
 Bucur, Ionel 19301976
 Dalhousie University
 Bucur, I. Author
 Tierney, M.
 Scott, D. S.
 Illusie, L.
Useful Links
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