| http://www.w3.org/ns/prov#value | - The category of small sheaves" is generally not a Grothendieck topos, nor an elementary one, but it satisfies all of Giraud's axioms except for the existence of a small generating set, and it has the same universal property (in a certain sense) as the topos of sheaves on a small site.
|
