Higher-Dimensional Category Theory The architecture of mathematics Eugenia Cheng November 2000

First Page		Document Content
Date: 2015-06-01 01:56:30 Mathematics Academia Physics Category theory Theory Conceptual system Dimension Mathematical logic Mathematical analysis Algebra Emmy Noether Foundations of mathematics		Higher-Dimensional Category Theory The architecture of mathematics Eugenia Cheng November 2000 Add to Reading List Source URL: cat.boffosocko.com Download Document from Source Website File Size: 182,35 KB Share Document on Facebook

	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–124) QUIVERS WITH RELATIONS FOR SYMMETRIZABLE CARTAN MATRICES AND ALGEBRAIC LIE THEORY Christof Geiß DocID: 1xW2r - View Document
	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions DocID: 1xW1P - View Document
	The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University DocID: 1xVYc - View Document
	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮) DocID: 1xVTT - View Document
	Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford DocID: 1xVM0 - View Document