
	Where results make sense

Topic: Lawvere

Related Topics

Topos theory

Category theory

Categorical logic

Topos

Sheaf theory

Denotational semantics

Subobject classifier

Module (mathematics)

Domain theory

Scott domain

Gadsden County, Florida

Baseboard

In the News (Tue 10 Nov 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	William Lawvere - Wikipedia, the free encyclopedia
		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).
	en.wikipedia.org /wiki/William_Lawvere (258 words)

	The IFF Namespace for Term Languages (IFF-TRM)
		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.
	suo.ieee.org /IFF/metalevel/lower/namespace/term-language/version20040101-intro.html (2194 words)

	Alphabetically Sorted, Complete Bibliography: A Supplement to Category Theory
		Lawvere, F. W., 1966, "The Category of Categories as a Foundation for Mathematics", Proceedings of the Conference on Categorical Algebra, La Jolla, New York: Springer-Verlag, 1–21.
		Lawvere, F. W., 1992, "Categories of Space and of Quantity", The Space of Mathematics, Foundations of Communication and Cognition, Berlin: De Gruyter, 14–30.
		Lawvere, F. W., 1994, "Cohesive Toposes and Cantor's lauter Ensein ", Philosophia Mathematica, 2, 1, 5–15.
	plato.stanford.edu /entries/category-theory/bib.html (3518 words)

	Citations: An elementary theory of the category of sets - Lawvere (ResearchIndex) (Site not responding. Last check: 2007-10-23)
		This style of axiomatization has been adopted for other inductively defined data types, such as lists and trees, which admit canonical forms of recursion that reflect their characterization as initial algebras.
		But a lot of mathematical structures, be they algebraic or topological, admit a free model, and it is also known that those that can be said to de ne an induction principle look very much like free algebras for an absolutely free algebraic theory (a theory which is given by a choice of....
		, William Lawvere used the characterization of the natural numbers as an initial algebra in the axiom of infinity for his category theoretical axiomatization of sets.
	citeseer.ist.psu.edu /context/96391/0 (1447 words)

	week200
		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.
		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".
	math.ucr.edu /home/baez/week200.html (7116 words)

	The IFF Namespace for First Order Logic Languages (IFF-FOL)
		The central concept in the term component of the IFF-FOL is the Lawvere construction, which serves as a framework for FOL logic and its categorical logic extension.
		The Lawvere construction is a collection of (small) categories and functors indexed by FOL languages and FOL language morphisms.
		The Lawvere category (see the red sub-diagram in Figure 2) is a parametric construction based upon the notion of a FOL language.
	suo.ieee.org /IFF/metalevel/lower/namespace/fol-language/version20040404-intro.html (4611 words)

	Enriched Lawvere theories (Site not responding. Last check: 2007-10-23)
		We define the notion of enriched Lawvere theory, for enrichment over a monoidal biclosed category $V$ that is locally finitely presentable as a closed category.
		We prove that the category of enriched Lawvere theories is equivalent to the category of finitary monads on $V$.
		Moreover, the $V$-category of models of a Lawvere $V$-theory is equivalent to the $V$-category of algebras for the corresponding $V$-monad.
	www.maths.tcd.ie /EMIS/journals/TAC/volumes/6/n7/abstract.html (108 words)

	2-Metric Geometry \| The String Coffee Table
		David Corfield and John Baez are currently concentrating on categorifying Klein’s Erlangen Program, where geometric objects are encoded in terms of their stabilizer groups.
		Therein Lawvere points out that several fundamental structures appearing in mathematics, and in particular the concept of a metric, are special cases of enriched categories, and that, furthermore, looking at them from this point of view makes a host of subsequent constructions and observations, even some theorems, an automatic consequence of general abstract nonsense.
		In this case the non-symmetric metric reduces to a mere ordered set, where all we know is if we can reach some point from a given point or not (which Sorkin would think of as whether one point is in the timelike future of the other one or not).
	golem.ph.utexas.edu /string/archives/000818.html (4087 words)

	SETS FOR MATHEMATICS by F. WILLIAM LAWVERE AND ROBERT ROSEBRUGH (Site not responding. Last check: 2007-10-23)
		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)

	[No title]
		John Power Laboratory for Foundations of Computer Science, Edinburgh, UK THE CATEGORY THEORETIC ANALYSIS OF UNIVERSAL ALGEBRA: LAWVERE THEORIES AND MONADS Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being established a few years later.
		But since then, the relevance of universal algebra to computational effects has been recognised, leading to renewed prominence of the notion of Lawvere theory, now in a computational setting.
		We study the history of the development here, in particular asking why Lawvere theories were eclipsed by monads in the 1960's, and how the renewed interest in them in a computer science setting might develop in future.
	www.ucc.ie /info-mfcsit/main-speakers/Power.txt (157 words)

	Categories in Context: Historical, Foundational, and Philosophical -- Landry and Marquis 13 (1): 1 -- Philosophia ...
		Lawvere claims that ‘here by "foundation" we mean a single
		It is important to note that, although Lawvere himself is aware
		Lawvere's position, far more than being top-down, is deeply
	philmat.oxfordjournals.org /cgi/content/full/13/1/1 (10308 words)

	William Lawvere: ZoomInfo Business People Information (Site not responding. Last check: 2007-10-23)
		Add yourself to the largest index of business people in the world.
		William Lawvere's summary was automatically generated using 1 reference found on the Internet.
		Francis William Lawvere is a mathematician who is known for his work in category theory and the philosophy of mathematics.
	www.zoominfo.com /directory/Lawvere_William_613221121.htm (140 words)

	The University at Buffalo Department of Family Medicine
		Lawvere S, Mahoney MC, Hyland A, Murphy, JM, Cummings, KM.
		Lawvere S, Mahoney MC, Hyland A, Murphy JM, Cummings KM, Maltsev V, Lashkina A. A Review of Current Treatments for Quitting Smoking.
		Lawvere S, Mahoney MC, Englert J, Murphy JM, Hyland A, Klein SB, Loewen G. Nurse Practitioners and Tobacco Use Primary/Secondary Prevention.Journal of the American Academy of Nurse Practitioners 2003; 15: 376-381
	wings.buffalo.edu /smbs/fam-med/faculty/mahoneyMC.html (1033 words)

	JOHN LAWVERE does Scientific Research (Site not responding. Last check: 2007-10-23)
		JOHN LAWVERE does Scientific Research, Consulting, and College-Level Teaching in ELECTROMAGNETISM and NONLINEAR DYNAMICS at RADIO and MICROWAVE FREQUENCIES, branching into PLASMA PHYSICS, ACCELERATOR PHYSICS/BEAM DYNAMICS and MICROWAVE SOURCES.
		My Dissertation Research at the UNIVERSITY of ARIZONA involves Radio-Frequency Scattering from coupled systems of Negative-Resistance Oscillators and Transitions Between Limit Cycles.
		Physics-195 is a course to introduce students to scientific research.
	wc.pima.edu /~jlawvere (81 words)

	Textbooks by F W Lawvere - Direct Textbook (Site not responding. Last check: 2007-10-23)
		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)

	Cohesive Toposes and Cantor's 'lauter Einsen' -- LAWVERE 2 (1): 5 -- Philosophia Mathematica
		Cohesive Toposes and Cantor's 'lauter Einsen' -- LAWVERE 2 (1): 5 -- Philosophia Mathematica
		Articles by LAWVERE, F. © Oxford University Press
		If you require any further clarification, please contact our Customer Services Department.
	philmat.oxfordjournals.org /cgi/content/abstract/2/1/5 (192 words)

	Amazon.com: Sets for Mathematics: Books: F. William Lawvere,Robert Rosebrugh (Site not responding. Last check: 2007-10-23)
		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 (1071 words)

	Sets for Mathematics; Author: Lawvere, W.; Joint Author: Rosebrugh, R.; Paperback
		Sets for Mathematics; Author: Lawvere, W.; Joint Author: Rosebrugh, R.; Paperback
		Author: Lawvere, W.; Joint Author: Rosebrugh, R. Paperback; 84 Line Diagrams 219 Exercises
		Prices subject to change to be advised on confirmation of order.
	www.netstoreusa.com /mabooks/052/0521010608.shtml (208 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)

Try your search on: Qwika (all wikis)