CatGloss

Given functors $ F $ and $ G $ from $ mathbf{P} $ to $ mathbf{Set} $