Categorical set theory - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-09-08 09:36:38 Categorical logic Theoretical computer science Topos William Lawvere Mathematical constructivism Sheaf Mathematical logic Alexander Grothendieck Set theory Mathematics Category theory Abstract algebra		Add to Reading List Source URL: publish.uwo.ca Download Document from Source Website Share Document on Facebook

	Intro First-order theories Higher-order theories DocID: 1k55X - View Document
	Philosophia Mathematica (III[removed]), 227–254. doi:[removed]phimat/nkr024 Advance Access publication August 24, 2011 Category Theory as an Autonomous Foundation† DocID: So2t - View Document
	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- DocID: R8sr - View Document
	Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE DocID: N5zI - View Document
	national association of mathematicians CONTENTS volume XXXV I DocID: qbAD - View Document