Submissions from sandiego.edu

		Towards third generation HOTT [pdf] (sandiego.edu)
		2 points by hackandthink 55 days ago \| past \| 1 comment
		Is Philosophy Useful for Science, and/or Vice Versa? [pdf] (sandiego.edu)
		2 points by hackandthink 10 months ago \| past
		Stanislaw Lem: The Seventh Sally (sandiego.edu)
		3 points by doener on Dec 23, 2023 \| past
		Complementary foundations for mathematics: when do we choose? [pdf] (sandiego.edu)
		85 points by hackandthink on Dec 31, 2022 \| past \| 16 comments
		Synthetic Differential Geometry with Nilpotents [pdf] (sandiego.edu)
		2 points by cybernautique on Sept 10, 2021 \| past
		The weird and wonderful world of constructive mathematics (2017) [pdf] (sandiego.edu)
		166 points by lainon on Nov 9, 2018 \| past \| 68 comments
		Homotopy Type Theory: A synthetic approach to higher equalities (Draft) [pdf] (sandiego.edu)
		2 points by igravious on Dec 8, 2015 \| past