Morpho-logic from a Topos Perspective: Application to symbolic AI