papers on internal categories ???