Adjoints to constant presheaves on open sets
ID: adjoints-to-constant-presheaves-on-open-sets
For a topological space , let be the constant presheaf of sets on its open-set category, with identity restriction maps, including the value at the empty open set. A natural transformation is determined by its map ; its component at composes with . A transformation is determined by ; its component at restricts sections from . These two bijections prove the displayed adjunctions. This concerns presheaves, so no sheafification is involved.
New to topics? Read the docs here!