Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Would someone like to organize these thoughts as an answer? I'm looking for a historical/etymological connection. My definition of a coherent topos is that it is a topos of sheaves on a coherent category, and this isn't obviously related to a coherent object in an abelian category (whose definition is clearly inspired by coherent sheaves)