Synthetic G-jet-structures in modal homotopy type theory

Felix Cherubini

This article constructs the moduli stack of torsionfree $G$-jet-structures in homotopy type theory with one monadic modality. This yields a construction of this moduli stack for an…