My university doesn't let me teach anymore, so the rest of the world is my victim now.

Let g be the functor mapping source to *.o objects. If we sheafify g, we get a functor g++ that now satisfies gluing: a system of compatible objects can be uniquely linked!