We describe a topos of sheaves with the property that classical persistent homology of a filtered complex (should) be the internal simplicial homology functor of the logic specified by the base space of the sheaves. All relevant background to understand definitions and their ramifications will be provided in the talk.