A semipresheaf on a semicategory is a semifunctor
from the opposite semicategory of to the category Set of sets.
The category of semipresheaves on , usually denoted , or just when the context is clear has:
semifunctors as objects;
natural transformations between such semifunctors as morphisms.
Last revised on June 5, 2018 at 13:10:11. See the history of this page for a list of all contributions to it.