local identity
smaller-scale status
A similar presheaf "G" that satisfies the local identity axiom over the empty set is constructed as follows.
A similar presheaf "G" that satisfies the smaller-scale status axiom over the empty set is constructed as follows.