nLab
dR-shape modality

the (looping of) the cokernel of the unit of the shape modality

notation: Π dR\Pi_{dR} or Unknown characterUnknown character dRʃ_{dR}

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

Created on August 15, 2014 03:00:40 by Urs Schreiber (24.213.171.170)