Two Constructivist Aspects of Category Theory

First Page		Document Content
Date: 2011-07-29 14:32:40 Mathematical constructivism Intuitionism Category theory Higher category theory Constructivism Topos Axiom of choice Intuitionistic logic Category Mathematics Mathematical logic Logic		Two Constructivist Aspects of Category Theory Add to Reading List Source URL: www.cwru.edu Download Document from Source Website File Size: 283,14 KB Share Document on Facebook

	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract DocID: 1qLDo - View Document
	A sufficient condition for the continuity of permanental processes with applications to local times of Markov processes DocID: 1qnAE - View Document
	ZDM Mathematics Education:295–306 DOIs11858ORIGINAL ARTICLE Bringing forth mathematical concepts: signifying sensorimotor DocID: 1ouI7 - View Document
	Emanuele Frittaion Curriculum Vitae 2016 DocID: 1okGN - View Document
	Effective Uniform Bounds from Proofs in Abstract Functional Analysis Ulrich Kohlenbach Department of Mathematics Darmstadt University of Technology Schlossgartenstraße 7 DocID: 1oiUp - View Document