I worry about the present society where mathematical insights and programmatic value are meaningful only by proxy of the institution you work in. Careerism is the banality of meaningful progress independent of trying to make good impressions for your boss/department chair/institution. Can we imagine a world where one might prove univalence holds from their kitchen table, because they wanted to not because their grant dollars/tenure rests on it?
Discover & explore Mastodon with no ads and no surveillance. Publish anything you want on Mastodon: links, pictures, text, audio & video.