Seol mar théacs é seo: Topos quantum logic and mixed states