Algebraic aspects of the persistence topos at FMF, Ljubljana