FACTOID # 178: There are more known reptile species in Australia than in all other listed countries combined.
 
 Home   Encyclopedia   Statistics   Countries A-Z   Flags   Maps   Education   Forum   FAQ   About 
 
WHAT'S NEW
RELATED ARTICLES
People who viewed "Lawvere" also viewed:
RECENT ARTICLES
More Recent Articles »
 

FACTS & STATISTICS    Simple view

  1. Select countries to view: (hold down Control key and click to select several)

     

     

    Compare:

     

     
  1. Select fact or statistic: (* = graphable)

     

     

     

  2. (OPTIONAL) Compare to statistic: (both need to be graphable)

     

     

     

  3. View result as:

     

       
(OR) SEARCH ALL encyclopedia, stats & forums:   

Encyclopedia > Lawvere

Francis William Lawvere is a mathematician who is known for his work in category theory and the philosophy of mathematics. He is a professor emeritus of mathematics and an adjunct professor emeritus of philosophy at the University at Buffalo.


He was a student of Samuel Eilenberg at Columbia University, where he was awarded his Ph.D. in 1963.


External links

  • personal page at buffalo.edu (http://www.acsu.buffalo.edu/~wlawvere/)
  • entry in the mathematics genealogy project (http://www.genealogy.ams.org/html/id.phtml?id=18947)
  • photograph (http://andrej.com/mathematicians/L/Lawvere_William.html)

  Results from FactBites:
 
William Lawvere - Wikipedia, the free encyclopedia (258 words)
Lawvere completed his Ph.D. in mathematics at Columbia University in 1963, under the supervision of Samuel Eilenberg, a founder of category theory.
Lawvere then spent most of his career at University at Buffalo, where he is professor emeritus of mathematics and an adjunct professor emeritus of philosophy.
Lawvere, together with Myles Tierney, developed the definition of an elementary topos, generalizing the concept of the Grothendieck topos, in 1969-70 (see background and genesis of topos theory).
The IFF Namespace for Term Languages (IFF-TRM) (2194 words)
The Lawvere construction is a small category that serves as the framework for FOL logic and its categorical logic extension.
The Lawvere category is a parametric construction based upon the notion of a FOL language (signature or lexicon).
The Lawvere construction is a collection of (small) categories and functors indexed by term languages and term language morphisms.
  More results at FactBites »


 

COMMENTARY     


Share your thoughts, questions and commentary here
Your name
Your comments
Please enter the 5-letter protection code

Want to know more?
Search encyclopedia, statistics and forums:
 


Lesson Plans | Student Area | Student FAQ | Reviews | Press Releases |  Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms.