Categorical Struct. 10 (4) (2002) 383–402 (Preliminary version appeared as IMAR Preprint 2-2000, ISSN 250-3638, February 2000). 8 Craig–Robinson interpolation seems to be the adequate interpolation property underlying the main result of [5] replacing CI a (0)

by R Diaconescu, Grothendieck institutions, Appl
Venue:IN PRESS R. Diaconescu / Theoretical Computer Science ( ) – 23