Copy Grothendieck.ToCat
WIP  Realized I need pseudonatural transformation