2,091 followers
RT @andrejbauer: @arxiv_cslo I'm sure @taooftypes enjoys pitting set theory against type theory, but let's avoid FOM-list style sillines fr…
RT @andrejbauer: @arxiv_cslo I'm sure @taooftypes enjoys pitting set theory against type theory, but let's avoid FOM-list style sillines fr…
@arxiv_cslo I'm sure @taooftypes enjoys pitting set theory against type theory, but let's avoid FOM-list style sillines from 1990's, shall we? To counter-balance the viewpoint, I recommend Steve Awodey's “From Sets to Types, to Categories, to Sets” https:/