Subject: Working group online on differential cohesive topos

Description: Working group on studying Urs Schreiber’s work “Differential cohomology in a cohesive infinity-topos” and more.
see also on https://iamcxds.github.io/dif-coh-topos/