Panentheism is a theism with great potential. Whereas pantheism takes God to be equivalent to the world, panentheism entertains as much while still asserting God’s transcendence of the mere world. There is much beauty in this idea that God is both “in the world” and “above” it. But there is also much subtlety and confusion. Panentheism is notoriously tricky to demarcate from the other theisms, and there is plenty of nuance left to be explored. The core problem of panentheism is (...) this—what exactly does it mean for the world to “include God” and for God to “contain the world?” Numerous answers have been given, but it seems there is still something left to be desired. In this paper, we endeavor to give panentheism a firm and rigorous footing. Utilizing basic category theory, we provide a precise answer to the daunting problem of “world inclusion.” In the process, we also offer a new variety of metaphysical grounding, “morphic grounding.”. (shrink)