Previously: Sheaves as Virtual Objects. In order to define a sheaf, we have to start with coverage. A coverage defines, for every object $latex u$, a family of covers that satisfy the sub-coverage …| Bartosz Milewski's Programming Cafe