William Lawvere - PDFSEARCH.IO - Document Search Engine

William Lawvere
Results: 14

#	Item
1	Intro First-order theories Higher-order theories Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-09-16 03:38:56 Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure
2	Philosophia Mathematica (III[removed]), 227–254. doi:[removed]phimat/nkr024 Advance Access publication August 24, 2011 Category Theory as an Autonomous Foundation† Add to Reading List Source URL: philmat.oxfordjournals.org Language: English Sheaf theory Topos Category of sets Set theory William Lawvere Class Sheaf Category Axiom of choice Mathematics Mathematical logic Category theory
3	Theory and Applications of Categories, Vol. 27, 2012, page 1 INTRODUCTION The International Category Theory Conference (CT2011) was held on the University of British Columbia campus in Vancouver, Canada, during July 17- Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-03-20 15:04:00 William Lawvere Ronald Brown Category theory Category of sets Ieke Moerdijk Mathematics Michael Barr Higher category theory
4	Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE Add to Reading List Source URL: emis.library.cornell.edu Language: English - Date: 2006-02-24 14:27:12 Functors Sheaf theory Adjoint functors Cartesian closed category Topos Exponential object Hom functor Yoneda lemma Diagonal functor Category theory Mathematics Abstract algebra
5	national association of mathematicians CONTENTS volume XXXV I Add to Reading List Source URL: www.math.buffalo.edu Language: English - Date: 2006-10-06 09:00:42 Year of birth missing William Lawvere Mathematician G. H. Hardy Applied mathematics Stephen Schanuel Mathematics Mathematical sciences Science
6	“Toposes as higher-order theories” prof. Peter Johnstone University of Cambridge Abstract The elementary reformulation of topos theory by Lawvere and Add to Reading List Source URL: www.dmi.unisa.it Language: English - Date: 2010-04-20 04:57:15 Mathematical constructivism Epistemology William Lawvere Mathematical logic Alexander Grothendieck Elementary definition Intuitionism Categorical logic Proof theory Mathematics Sheaf theory Topos
7	arXiv:1210.1478v1 [math.HO] 25 Sep[removed]Axiomatic Method and Category Theory Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-10-04 20:21:09 Axiomatic system Categorical logic Category theory Mathematical logic Foundations of mathematics Logicism William Lawvere Nicolas Bourbaki Function Mathematics Philosophy Philosophy of mathematics
8	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: maths.mq.edu.au Language: English - Date: 2010-07-27 22:21:28 Adjoint functors Functors Higher category theory Categorical logic Lawvere theory William Lawvere Clone Monad Sheaf Category theory Abstract algebra Mathematics
9	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES* BY F. WILLIAM LAWVERE REED COLLEGE, PORTLAND, OREGON Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 14:56:27 Abstract algebra Functors Adjoint functors Category of rings Free object Algebraic theory Equivalence of categories Initial and terminal objects Natural transformation Category theory Mathematics Algebra
10	Reprints in Theory and Applications of Categories, No. 11, 2005, pp. 1–35. AN ELEMENTARY THEORY Add to Reading List Source URL: tac.mta.ca Language: English - Date: 2005-05-20 10:56:44 Categorical logic William Lawvere Category of sets Topos Categorical set theory Morphism Function Axiom of choice Metric Mathematics Category theory Mathematical logic