1 problem

Let $\mathsf{Gpd}_{\rm ana}$ and $\mathsf{S}_{\rm ana}$ denote the proposed left derivators of groupoids and infinity-groupoids with anafunctors. An ana-derivator is a derivator th…