Sommaire du Fascicule no. 1

Exact sequence interlocking and free homotopy theory
Models for actions of certain groupoids
On product and change of base for toposes
Torsors and special extensions
Coherent euclidean geometry

Sommaire du Fascicule no. 2

A note on the algebraic de Morgan's law
On the categories Sp(X) and Ban(X). II
Proarrows II
On distributive homological algebra. III. Homological theories

Sommaire du Fascicule no. 3

Partially-additive monoids
Čech methods and the adjoint functor theorem
Pro-reflections and pro-factorizations
A convenient setting for holomorphy
Logical opens of exponential objects

Sommaire du Fascicule no. 4

Actions, functors and the bar construction
How to define the differentiable graph of a singular foliation
Crossed modules in Cat and a Brown-Spencer theorem for 2-categories
Minimal atlases of manifolds