presheaf
contravariant functor to the category of sets and functions
globular set
presheaf over a certain small category (of globes)
sheaf
collection of objects associated to subsets of a space in a manner admitting gluing and restriction
contravariant functor to the category of sets and functions