memos

A presheaf is a functor to Set from an category of "test spaces" represented by an object.