Une axiomatisation constructive de la th'eorie des cat'egories." Rapport de Recherche, en pr'eparation (0)

by A Saibi