A semipresheaf on a semicategory CC is a semifunctor

F:C opSet F : C^{op} \to Set

from the opposite semicategory C opC^{op} of CC to the category Set of sets.

The category of semipresheaves on CC, usually denoted [C op,Set] semi[C^{op},Set]_{semi}, or just [C op,Set][C^{op},Set] when the context is clear has:

  • semifunctors F:C opSetF : C^{op} \to Set as objects;

  • natural transformations between such semifunctors as morphisms.

Last revised on June 5, 2018 at 09:10:11. See the history of this page for a list of all contributions to it.