nLab
dR-flat modality

the (delooping of) the kernel of the counit of the flat modality

see at cohesive (infinity,1)-topos -- structures the section on de Rham cohomology

Created on August 15, 2014 03:01:06 by Urs Schreiber (24.213.171.170)