Issue no. 1 Table of Contents

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

Issue no. 2 Table of Contents

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

Issue no. 3 Table of Contents

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

Issue no. 4 Table of Contents

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