Factorization theorems for geometric morphisms, I
Fibrewise exponential laws in a quasitopos
Finite objects and extensional relations
Fonctions d'Euler-Jordan et de Gauß et exponentielle dans les semi-anneaux de Burnside
Formal manifolds and synthetic theory of jet bundles
Functorial concepts of complexity for finite automata.
Functorial polymorphism and semantic parametricity
Fundamental pro-groupoids and covering projections
We introduce a new notion of covering projection E → X of a topological space X which reduces to the usual notion if X is locally connected. We use locally constant presheaves and covering reduced sieves to find a pro-groupoid π crs (X) and an induced category pro (π crs (X), Sets) such that for any topological space X the category of covering projections and transformations of X is equivalent to the category pro (π crs (X), Sets). We also prove that the latter category is equivalent to pro (π CX,...
Fundamental pushout toposes.