Geodesic

Sommaire du Fascicule no. 1

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

Sommaire du Fascicule no. 2

Models of sketches
p. 93-107
A survey of totality for enriched and ordinary categories
p. 109-132
Cauchy completion in category theory
p. 133-146
Sur les sélections injectives du type fini
p. 147-150
Closure operators, monomorphisms and epimorphisms in categories of groups
p. 151-167

Sommaire du Fascicule no. 3

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

Sommaire du Fascicule no. 4

A generalized global differential calculus. II. Application to invariance under a Lie group
p. 89-105
On the geometry of computations
p. 107-136
Decomposition of automata and enriched category theory
p. 137-143
Sur le groupe fondamental d'un feuilletage défini par une suspension
p. 145-160