WorldCat Identities

Lawvere, F. W.

Overview
Works: 36 works in 195 publications in 5 languages and 4,152 library holdings
Genres: Conference proceedings  Programmed instruction 
Roles: Editor, Honoree
Classifications: QA3, 511.322
Publication Timeline
Key
Publications about  F. W Lawvere Publications about F. W Lawvere
Publications by  F. W Lawvere Publications by F. W Lawvere
Most widely held works by F. W Lawvere
Sets for mathematics by F. W Lawvere ( )
13 editions published between 2002 and 2003 in English and held by 1,409 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 )
47 editions published between 1991 and 2011 in English and held by 839 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 )
24 editions published between 1975 and 2008 in English and held by 512 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 508 WorldCat member libraries worldwide
Toposes, algebraic geometry and logic by F. W Lawvere ( Book )
14 editions published between 1972 and 2008 in English and held by 466 WorldCat member libraries worldwide
An elementary theory of the category of sets by F. W Lawvere ( Book )
11 editions published between 1960 and 1975 in English and Undetermined and held by 159 WorldCat member libraries worldwide
Toposes, Algebraic Geometry and Logic Dalhousie University, Halifax, January 16-19, 1971 by Ionel Bucur ( )
9 editions published in 1972 in English and German and held by 61 WorldCat member libraries worldwide
The language of algebra; fields and ordered fields by F. W Lawvere ( Book )
6 editions published between 1960 and 1961 in English and held by 57 WorldCat member libraries worldwide
Variable sets etendu and variable structure in topoi by F. W Lawvere ( Book )
4 editions published in 1975 in English and held by 45 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
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
Teoria delle categorie : un'introduzione alla matematica : matematica concettuale by F. W Lawvere ( Book )
3 editions published in 1994 in Italian and held by 12 WorldCat member libraries worldwide
Algebraic theories : a categorical introduction to general algebra by Jiří Adámek ( Book )
5 editions published between 2010 and 2011 in English and held by 9 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 one-sorted algebraic theories and the corresponding concrete algebraic categories over sets, and to S-sorted algebraic theories, which are important in program semantics. The final chapter is devoted to finitary localizations of algebraic categories, a recent research area"--Provided by publisher
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 7 WorldCat member libraries worldwide
Model theory and topoi : a collection of various authors ( Book )
1 edition published in 1975 in German and held by 5 WorldCat member libraries worldwide
Reports of the Midwest Category Seminar II by Midwest Category Seminar ( Book )
3 editions published in 1968 in English and held by 5 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
Algebraic theories a categorical introduction to general algebra by Jiří Adámek ( )
1 edition published in 2011 in English and held by 3 WorldCat member libraries worldwide
Seminar on triples and categorical homology theory, ETH, 1966-67 by H Appelgate ( Book )
1 edition published in 1969 in English and held by 3 WorldCat member libraries worldwide
Special volume on the occasion of the 60th birthday of Professor Michael Barr ( Book )
1 edition published in 1999 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.60 (from 0.39 for Sets for m ... to 1.00 for Special vo ...)
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
English (165)
German (3)
Italian (3)
Swedish (1)
Spanish (1)
Covers