Modern metaphysics has shifted focus from mere existence to metaphysical grounding: the study of what is "prior to" or "more fundamental than" something else. While grounding is traditionally defined by its hyperintensionality and its status as a strict partial order, its plurality of approaches underlines a need for a unifying principle; solving this issue within the framework of category theory remains under-analyzed. This presentation explores the application of grounding’s formal logics within the framework of categorical logic and some strategies on how the gap can be bridged.