I think Lemma 4.26.6 can be simplified (even improved):
where equalities are in the category and we are left composing with in this category (use of functor is implied).
And in if, and only if, exists such that where the equality is now in . So I think, in reality, condition does not depends on

]]>