Sommaire du Fascicule no. 1

Convenient vector spaces embed into the Cahiers topos
A direct description of uniform completion in locales and a characterization of LT-groups
Construction de théories d'exactitude
Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
The free adjunction

Sommaire du Fascicule no. 2

Models of sketches
A survey of totality for enriched and ordinary categories
Cauchy completion in category theory
Sur les sélections injectives du type fini
Closure operators, monomorphisms and epimorphisms in categories of groups

Sommaire du Fascicule no. 3

Archimedian local C ∞ -rings and models of synthetic differential geometry
Erratum to “Convenient vector spaces embed into the Cahiers topos”
A generalized global differential calculus : application to invariance under a Lie group. I

Sommaire du Fascicule no. 4

A generalized global differential calculus. II. Application to invariance under a Lie group
On the geometry of computations
Decomposition of automata and enriched category theory
Sur le groupe fondamental d'un feuilletage défini par une suspension