Publisher
Oxford University Press (OUP)
Subject
Philosophy,General Mathematics
Reference71 articles.
1. An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’†
2. Awodey S. [2010]: Category Theory. Oxford University Press.
3. Structuralism, Invariance, and Univalence
4. ‘Homotopy theoretic models of identity types’;Awodey;Math. Proc. Camb. Phil. Soc.,2009
5. Baez J. [2007]: ‘The homotopy hypothesis’, Slides of a talk at the Fields Institute, http://math.ucr.edu/home/baez/homotopy/homotopy.pdf (accessed November 2016).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstraction, equality and univalence;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-07-31
2. A meaning explanation for HoTT;Synthese;2019-01-01
3. An introduction to univalent foundations for mathematicians;Bulletin of the American Mathematical Society;2018-03-05
4. Univalent foundations as structuralist foundations;Synthese;2016-05-19