WIP Grothendieck-cat