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 02:55:50. See the history of this page for a list of all contributions to it.