Intro First-order theories Higher-order theories

First Page		Document Content
Date: 2010-09-16 03:38:56 Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure		Intro First-order theories Higher-order theories Add to Reading List Source URL: www.lama.univ-savoie.fr Download Document from Source Website File Size: 309,12 KB 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