在單一基礎理論中，更好地處理Kleisli範疇的性質可以通過引入Rezk完成來實現。Kleisli範疇通常是由單變量單調函數所定義的，但在不具備單變量單調性質的情況下，Kleisli範疇可能不會是單變量的。因此，使用Rezk完成可以確保Kleisli範疇的結構保持一致，並且能夠在不失去其原有性質的情況下進行推理。
此外，Kleisli範疇的性質可以通過形式理論進行深入分析，特別是當我們考慮到單變量單調函數的結構時。這些函數的單調性質使得我們能夠在Kleisli範疇中建立更強的結構性結果，例如每個單變量單調函數都能夠生成一個對應的Kleisli範疇，並且這些範疇之間的關係可以通過函數的性質來描述。這樣的分析不僅增強了我們對Kleisli範疇的理解，還為進一步的研究提供了基礎。