Report - Freyd's construction of 0 1 as a terminal coalgebratl/cambridge_pssl/cambridge..., A.M. Cambridge, 4-5 April 2009 4/12 4 / 12 Every nitely accessible category K is, to within equivalence,

Please pass captcha verification before submit form