Publisher
Springer International Publishing
Reference71 articles.
1. H. Alexander (ed.), The Leibniz-Clarke Correspondence. Together with Extracts from Newton’s Principia and Opticks (Manchester University Press, Manchester and New York, 1955)
2. M. Anel, The geometry of ambiguity: an introduction to the ideas of derived geometry, in New Spaces in Mathematics. Formal and Conceptual Reflections. Ed. by M. Anel and G. Catren (Cambridge: Cambridge University Press, 2020)
3. S. Awodey, A proposition is the (homotopy) type of its proofs (2016). ArXiv:1701.02024 [math.LO]
4. S. Awodey, Structuralism, invariance, and univalence. Philosophia Mathematica 22(1), 1–11 (2014)
5. S. Awodey, Category Theory (Oxford University Press, New York, 2006)