Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

169,291 papers · 148 categories

Trend · papers per month

count% of corpus
0111 · Jun 201819922001200920182026
1 result for “jet-structures”
Synthetic G-jet-structures in modal homotopy type theorymath.DG

Article constructs jet-structures in homotopy type theory.

problem Formalizing jet-structures in homotopy type theory.
method Constructs moduli stack of torsionfree jet-structures in homotopy type theory with one monadic modality.
result Formalization yields construction of moduli stack for any ∞-topos with stable factorization systems.
homotopy type theoryjet-structuresmoduli stack∞-toposstable factorization systems
2018-06-15abs ↗pdf ↗