Raymond Hoofman Ieke Moerdijk A Remark on the Theory of Semi-Functors. 1-8 1995 5 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs5.html#HoofmanM95