WorldCat Identities

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
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 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."
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

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

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, 1966-67 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 16-19, 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.39 for Sets for m ... to 1.00 for Functorial ...)

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
Conceptual mathematics : a first introduction to categoriesModel theory and topoi : a collection of lectures by various authorsToposes, algebraic geometry and logicCategories in continuum physics : lectures given at a workshop held at SUNY, Buffalo, 1982Algebraic theories : a categorical introduction to general algebraCategories in continuum physics : lectures given at a workshop (on category theory and the foundations of continuum thermomechanics), Buffalo, N.Y., (May) 1982Reports of the Midwest Category Seminar IISeminar on triples and categorical homology theory, ETH, 1966-67