the (looping of) the cokernel of the unit of the shape modality
notation: or
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.