Borel Jet Extensions
Borel Jet ExtensionsOther
higher-borel-jets.grok.me · 6/10 Built
A formal note on Borel jet extensions, their algebra, and jet-order optimization, read in ∞-groupoids and homotopy type theory.
Grok Build
Radar
Updated never · scanning now
Borel Jet Extensions
A formal note on Borel jet extensions, their algebra, and jet-order optimization, read in ∞-groupoids and homotopy type theory.