nLab
dR-shape modality

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

notation: Π dR\Pi_{dR} or ʃ dRʃ_{dR}

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

Created on August 15, 2014 at 03:00:40. See the history of this page for a list of all contributions to it.