nLab Andrew Swan

• webpage

Selected writings

On the Nielsen-Schreier theorem in homotopy type theory/univalent foundations:

• Andrew Swan, On the Nielsen-Schreier Theorem in Homotopy Type Theory (arXiv:2010.01187)

On path types and identity types:

• Andrew Swan, Separating Path and Identity Types in Presheaf Models of Univalent Type Theory, (arXiv:1808.00920)

On Lifschitz realizability:

• Michael Rathjen, Andrew Swan, Lifschitz Realizability as a Topological Construction. The Journal of Symbolic Logic, Volume 85, Issue 4, December 2020, pp. 1342 - 1375. [doi:10.1017/jsl.2021.1, arXiv:1806.10047]

On separable metric spaces in function realizability:

• Andrej Bauer and Andrew Swan, Every metric space is separable in function realizability, 2018, (arxiv:1804.00427)

Talks

• Andrew Swan, Double negation stable h-propositions in cubical sets, Homotopy Type Theory Electronic Seminar Talks, 9 February 2023 (slides, video)

category: people