Previously: Sheaves as Virtual Objects. In order to define a sheaf, we have to start with coverage. A coverage defines, for every object , a family of covers that satisfy the sub-coverage conditions. Granted, we can express coverage using objects and arrows, but it would be much nicer if we could use the language of […]
