Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 1

Sommaire

Convenient vector spaces embed into the Cahiers topos

Kock, Anders

p. 3-17

A direct description of uniform completion in locales and a characterization of

L T

Kříž, Igor

p. 19-34

Construction de théories d'exactitude

Van den Bril, Luc

p. 35-48

Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles

Burroni, Albert

p. 49-79

The free adjunction

Schanuel, Stephen ; Street, Ross

p. 81-83