Filtered colimits commute with finite limits in any Grothendieck topos. If the site is not finitary, its corresponding topos of sheaves will probably not be loc. finitely presentable.
Ivan Di Liberti
- 9.1k
- 1
- 27
- 66