Cat'egories lax-localement-cart'esiennes et cat'egories localement cart'esiennes : un exemple de suffisante compl'etude connexe de s'emantiques initiales (1991)

by F Cury
Venue:In diagrammes