The above two lemmas are in [DHl04,Remark 2.1].
参考
1. 见G.M.Kelly的Basic Concepts of Enriched Category Theory的2.4节 The (strong) Yoneda lemma for V-CAT; the Yoneda embedding
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。