Sheaves for an involutive quantaloid
William Dale. Garraway · French digital mathematics library (Numdam) · 2005
Dans cet article, nous explorons d'abord les ensembles a valeur dans Q, un quantaloide avec involution. Nous definissons alors la categorie des prefaisceaux de Q comme des foncteurs a valeur dans les ensembles a partir desquels nous definissons les faisceaux en termes de la propriete d'amalgamation unique de familles compatibles. A partir de ceci, nous montrons que la categorie des ensembles a valeur dans Q est equivalente a la categorie des faisceaux quand Q est pseudo-rightsided.