© 2016, Springer Science+Business Media New York.An interplay between recent topos theoretic approach and standard convex theoretic approach to quantum theory is discovered. Combining new results on isomorphisms of posets ...