Logiques, ensembles, catégories : Le point de vue constructif