I like the idea, but he seems to be using some nonstandard terminology—IIRC, restriction maps still have to be compatible in a presheaf, no?
Edit: Or maybe he’s just using “compatible” to mean “can be glued together”.
I like the idea, but he seems to be using some nonstandard terminology—IIRC, restriction maps still have to be compatible in a presheaf, no?
Edit: Or maybe he’s just using “compatible” to mean “can be glued together”.