memoized products and exponentials in DiagrammaticTopos