Geodesic

Sommaire du Fascicule no. 1

Exact sequence interlocking and free homotopy theory
p. 3-31
Models for actions of certain groupoids
p. 33-42
On product and change of base for toposes
p. 43-61
Torsors and special extensions
p. 63-90
Coherent euclidean geometry
p. 91-111

Sommaire du Fascicule no. 2

A note on the algebraic de Morgan's law
p. 115-120
On the categories Sp(X) and Ban(X). II
p. 121-133
Proarrows II
p. 135-168
On distributive homological algebra. III. Homological theories
p. 169-213

Sommaire du Fascicule no. 3

Partially-additive monoids
p. 221-244
Čech methods and the adjoint functor theorem
p. 245-257
Pro-reflections and pro-factorizations
p. 259-271
A convenient setting for holomorphy
p. 273-309
Logical opens of exponential objects
p. 311-323

Sommaire du Fascicule no. 4

Actions, functors and the bar construction
p. 329-338
How to define the differentiable graph of a singular foliation
p. 339-380
Crossed modules in Cat and a Brown-Spencer theorem for 2-categories
p. 381-388
Minimal atlases of manifolds
p. 389-397