Report - 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