Report copyright - A LOGIC FOR CATEGORIES - Mount Allison University · A LOGIC FOR CATEGORIES 397 the Yoneda lemma, Kan extensions and nal functors. In sections 8 and 9 other \classical" properties
Please pass captcha verification before submit form