What do we want a foundation to do? Comparing set-theoretic, category-theoretic, and univalent approaches
Open
To Read
- Dominant language
- CSS
- Stars
- 8
- Forks
- 2
- Avg merge
- 24m
- Merged PRs (30d)
- 1
Description
http://www.socsci.uci.edu/%7Epjmaddy/bio/What%20do%20we%20want%20-%20final
(also published in Foundations of mathematics : logic at Harvard : essays in honor of W. Hugh Woodin’s 60th birthday
9781470440794, 1470440792)
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.