Borel jet extensions via higher categories and homotopy type theory

(higher-borel-jets.grok.me)

1 points | by measurablefunc 14 hours ago ago