Common use of Proposition 4 Clause in Contracts

Proposition 4. 15. In the situation of Theorem 4.8, additionally assume that V : D → Set is a faithful and limit-preserving functor. UD , к¸r ,¸ and UÐA = AÐ. See below. A к V r¸ U ,,¸ Ð