A comonad for Grothendieck fibrations

Date: