On completeness of locally-internal categories

From MaRDI portal
Publication:1094523