1. An answer to Hellman’s question: “Does category theory provide a framework for mathematical structuralism?”;Awodey,;Philosophia Mathematica (3),2004
2. From sets to types, to categories, to sets’, in [Sommaruga, 2011];Awodey,,2011
3. Structuralism, invariance, and univalence;Awodey,;Philosophia Mathematica (3),2014
4. Relating first-order set theories, toposes and categories of classes;Awodey,;Journal of Pure and Applied Logic,2014
5. Cubical type theory: A constructive interpretation of the univalence axiom;Cohen,,2015