
	Where results make sense

Topic: F William Lawvere

Related Topics

Category theory

Topos

John Baez

Group action

	William Lawvere - Wikipedia, the free encyclopedia
		Francis William Lawvere is a mathematician known for his work in category theory, topos theory and the philosophy of mathematics.
		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).
	en.wikipedia.org /wiki/William_Lawvere (258 words)

	[No title]
		Lawvere started out as a student of Clifford Truesdell, working on "continuum mechanics", which is the very practical branch of field theory that deals with fluids, elastic bodies and the like.
		Lawvere first observes that in the traditional approach to physical theories, there are two key players.
		And this gives me an excuse to explain another bit of Lawvere's jargon: while a theory is an "abstract general", and particular model of it is a "concrete particular", he calls the category of all its models in some category a "concrete general".
	math.ucr.edu /home/baez/twf_ascii/week200 (6471 words)

	Topos - Wikipedia, the free encyclopedia
		If X is an ordinary space and x is a point of X, then the functor that takes a sheaf F to it's stalk F
		William Lawvere and Stephen H. Schanuel: Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press, Cambridge, 1997.
		William Lawvere and Robert Rosebrugh: Sets for Mathematics, Cambridge University Press, Cambridge, 2003.
	en.wikipedia.org /wiki/Topos_theory (1623 words)

	[No title]
		William Lawvere Mathematics Dept. SUNY wlawvere@acsu.buffalo.edu 106 Diefendorf Hall 716-829-2144 ext.
		Subject: categories: Re: Linear categories Dear Mike and everbody The converse result, as stated by Mac Lane, was what needed to be said in 1950, especially since it began to bring out that category theory has content.
		Though I agree with Bill Lawvere that prefixes like "semi" should be omitted if possible, I am not convinced by his suggestion "linear categeory" because for me subtraction seems essential fo linear algebra.
	www.mta.ca /~cat-dist/catlist/1999/fac-comm-mon (632 words)

	Como Category Theory News: F. William Lawvere: WHY ARE WE CONCERNED? II
		This forces a and b to have as codomain the same object, which serves as their common universe of discourse.
		First we say that b is a part (or subset in the case of a category of sets) of its codomain, if for all a belonging to b, the proof p of that belonging is unique; this is immediately seen to be equivalent to the usual notion of monomorphism.
		Note that if f is a morphism from A to B and if x is an element of A, then fx is an element of B of the same shape (of course in general figures are singular in that they distort their shape, for example, fx may be more singular than the figure x).
	categorytheorynews.blogspot.com /2006/03/f-william-lawvere-why-are-we-concerned.html (1640 words)

	Citations: Cambridge University Press - Lawvere, Schanuel (ResearchIndex) (Site not responding. Last check: 2007-10-24)
		....t) However, not all presheaves F on C give rise to hidden algebras, because their interpretation F v of visible sorts v is not constrained to be the xed interpretation of hidden algebras.
		William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery, Numerical recipes in C, 2nd ed., Cambridge University Press, 1992.
		William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery, Numerical recipies in C, second ed., Cambridge University Press, Cambridge, 1992.
	citeseer.ist.psu.edu /context/77244/0 (2227 words)

	Citebase - A simple description of Thompson's group F
		We show that Thompson's group F is the symmetry group of the "generic idempotent".
		That is, take the monoidal category freely generated by an object A and an isomorphism A otimes A --> A; then F is the group of automorphisms of A.
		Users are cautioned not to use it for academic evaluation yet.
	www.citebase.org /cgi-bin/citations?id=oai:arXiv.org:math/0508617 (105 words)

	SETS FOR MATHEMATICS by F. WILLIAM LAWVERE AND ROBERT ROSEBRUGH (Site not responding. Last check: 2007-10-24)
		The main text is based on courses given several times at Buffalo and Sackville for third-year students of mathematics, computer science, and other mathematical sciences.
		Although more advanced than the book Conceptual Mathematics by Lawvere and Schanuel (which is aimed at total beginners) this text develops from scratch the theory of the category of abstract sets and certain other toposes with examples from elementary algebra, differential equations, and automata theory.
		Among the reasons offered in the appendix for developing an explicit foundation is the need to have a basis for studying such works as Eilenberg-Steenrod on algebraic topology and Grothendieck on functional analysis and algebraic geometry.
	www.mta.ca /~rrosebru/setsformath (246 words)

	week200
		As Lawvere notes, "all the usual smooth dynamical systems, including the infinite-dimensional ones (elasticity, fluid mechanics, and Maxwellian electrodynamics) are included as special objects." This topos is an example of what Lawvere calls a "concrete general".
		Lawvere started publishing his ideas on mathematical physics in the late 1970s, though he must have been thinking about them all along:
		Just as Lawvere thought of these as algebraic theories, we can think of any T-algebra as a "theory of type T", and define its category of models: given T-algebras C and D, the category of models of C in D is hom(C,D), where the hom is taken in Cat
	math.ucr.edu /home/baez/week200.html (7116 words)

	Lawvere, F. William - Conceptual Mathematics Books at Real Groovy New Zealand
		Lawvere, F. William - Conceptual Mathematics Books at Real Groovy New Zealand
		By Lawvere, F. William (Author), Schanuel, Stephen Hoel (Author).
		Note: items featured on this website may not be available in our stores.
	www.realgroovy.co.nz /books/isbn/0521478170 (447 words)

	Amazon.com: Sets for Mathematics: Books: F. William Lawvere,Robert Rosebrugh (Site not responding. Last check: 2007-10-24)
		William Lawvere, Robert Rosebrugh "Let us discuss the idea of abstract constant sets and the mappings between them in order to have a picture of this, our central example,..." (more)
		Buy this book with Conceptual Mathematics: A First Introduction to Categories by F. William Lawvere today!
		Conceptual Mathematics: A First Introduction to Categories by F. William Lawvere
	www.amazon.com /exec/obidos/tg/detail/-/0521804442?v=glance (1080 words)

	Conceptual Mathematics: A First Introduction to Categories (F. William Lawvere , Stephen Hoel Schanuel) (Site not responding. Last check: 2007-10-24)
		Fresco School offers a full spectrum of fresco workshops and classes from introductory level lessons to advanced fresco programs and private fresco tutoring.
		Lawvere and Schanuel have created a book at once accessible and stimulating at a great many levels.
		It discusses the concepts of Category Theory in a simulated "classroom" setting, addressing common questions of students at crucial points in the book.
	www.truefresco.org /bookshop/viewproduct.php?country=uk&asin=0521478170 (369 words)

	Textbooks by F W Lawvere - Direct Textbook (Site not responding. Last check: 2007-10-24)
		William Lawvere - Cambridge University Press - 0521010608
		W Lawvere - Encyclopaedia Britannica Films, inc - B0007F3JN8
		W Lawvere - Encyclopaedia Britannica Press - B0007DO4KM
	www.directtextbook.com /author/f-w-lawvere (129 words)

	Amazon.com: Conceptual Mathematics: A First Introduction to Categories: Books: F. William Lawvere,Stephen Hoel Schanuel (Site not responding. Last check: 2007-10-24)
		William Lawvere, Stephen Hoel Schanuel "Our goal in this book is to explore the consequences of a new and fundamental insight about the nature of mathematics which has led to..." (more)
		As a first introduction to Categories, this book is well written, clever, simple and very clear.
		There is a wonderful course in category theory for high school students, just begging to be excavated from this multi-layered book.
	www.amazon.com /exec/obidos/tg/detail/-/0521478170?v=glance (1939 words)

	The Mathematics Genealogy Project - F. William Lawvere
		Click here to see the students listed in chronological order.
		According to our current on-line database, F. William Lawvere has 11 students and 17 descendants.
		If you have additional information or corrections regarding this mathematician, please use the update form.
	www.genealogy.ams.org /html/id.phtml?id=18947 (107 words)

	Proofs and Logic Solving Book Reviews
		Reading, Writing, and Proving: A Closer Look at Mathematics, by Ulrich Daepp and Pamela Gorkin.
		Sets for Mathematics, by F. William Lawvere and Robert Rosebrugh.
		A Smoother Pebble: Mathematical Explorations, by Donald C. Benson.
	www.maa.org /reviews/tindex14.html (365 words)

	DBLP: F. William Lawvere (Site not responding. Last check: 2007-10-24)
		Ask others: ACM DL - ACM Guide - CiteSeer - CSB - Google
		William Lawvere: Left and right adjoint operations on spaces and data types.
		William Lawvere: Foundations and applications: axiomatization and education.
	www.informatik.uni-trier.de /~ley/db/indices/a-tree/l/Lawvere:F=_William.html (52 words)

	Sets for Mathematics
		Titles - Authors - Science & Technology - Mathematics - F.
		William Lawvere - Robert Rosebrugh - Sets for Mathematics eBooks
		Advanced navigation, search, bookmarks, and multiple viewing options.
	www.ebookmall.com /ebooks/sets-for-mathematics-lawvere-rosebrugh-ebooks.htm (206 words)

	F. William Lawvere - Everyday physics of extended bodies or why functionals need analyzing
		William Lawvere - Everyday physics of extended bodies or why functionals need analyzing
		WILLIAM LAWVERE, Department of Mathematics, SUNY at Buffalo, Buffalo, New York 14214, USA
		Everyday physics of extended bodies or why functionals need analyzing
	www.cms.math.ca /Events/summer98/s98-abs/node6.html (49 words)

	F W Taylor FULANI-ENGLISH PRACTICAL DICTIONARY
		F W Walbank - Decline of the Roman Empire in the West
		F Wilson Mccomb - Behind the Wheel the Magic & Manners Of
		from our logs: taylor tailor w fw wtaylor aylor tylor talor tayor taylr taylo f
	www.searchbooktitle.com /77775_f-w-taylor.html (95 words)

	StudyGroup - The Haskell Wiki (Site not responding. Last check: 2007-10-24)
		StudyGroup for the moment consists of the book
		"Conceptual Mathematics, A first introduction to categories", by F. William Lawvere and Stephen H. Schanuel ISBN 0521478170
		Goal: a deeper understanding of monads as applied in programming.
	www.haskell.org /hawiki/StudyGroup (88 words)

	Publisher description for Library of Congress control number 95044725
		Publisher description for Library of Congress control number 95044725
		Publisher description for Conceptual mathematics : a first introduction to categories / F. William Lawvere, Stephen H. Schanuel.
		Bibliographic record and links to related information available from the Library of Congress catalog
	www.loc.gov /catdir/description/cam027/95044725.html (86 words)

Try your search on: Qwika (all wikis)